proc run(program: string): int {....raises: [KeyError,
    CannotDefineFunctionInBodyError, Exception], tags: [RootEffect].}