src/test/pfs.lus b/src/test/pfs.lus
        begin to tranform  the code using V6 compliant  types, but it
        is too much work ().