Separate F from V; all SCPCF/heap tests pass.