new package: safa (fixing an EOF)