direct a=0 b=1
proto f = 1
proto f = 0
