require invariant functions to be prefixed with 'nobug_'