bump Bogus
FunctionSimplifier spec: OCD stub ordering