tortoise: supporting multiple procedure definitions.