nasty bug in F_alloc call generation; it is surprising that this could go undetected for such a long time!