-record(invariant_violation, {reason :: binary()}).