forall.cfa:242:25: warning: Compiled