f X Y s U g h X Y %X nat f %X X U h X X f X s X s s X X nat Y nat U nat f nat nat nat nat g nat nat nat nat h nat nat nat s nat nat FULL benchmarks/mine/lmcs12.ex5.8.afs