issue: ok
low_gt_high: ok
check_in: ok
check_out_hi: ok
check_out_lo: ok
big_p3_small: ok
enum_det: ok
enum_4: ok
enum_neg: ok
small_lo_big_hi: ok
demote: ok
small_enum: ok
small_det: ok
small_neg: ok
small_cross: ok
err_var: ok
err_type1: ok
err_type3: ok