f 1%B
     : unit
f 0
     : unit
1%B
     : unit
0
     : unit
1%B
     : unit
1
     : unit
1
     : unit
0
     : unit
1
     : unit
0%A
     : unit
1
     : unit
0%A
     : unit
0
     : unit
0
     : unit