Procedure definitions shouldn't be restricted