f2m

fun f2m(f: PFAck): PMAck