MAC.MAC

data Res l a

labelOf

data MAC l a

runMAC

fix