ordinary: child_constructors=1; base_constructors=2; amount=-5; transient_initializer=0; base_value=7
guarded: invalid_local_state=InvalidObjectException
record: canonical_constructors=2; value=5; same_reference=false
PASS checks=8; input=program_generated_byte_arrays_only
