Support for nested procedures