t80_realconst.out 7 B

12
  1. 23
  2. 0