forall.cfa:244:25: warning: Compiled