/dev-nim/synthesis/