error(permission_error(modify, static_procedure), /(clause, 2))