psf2c can ouput c file