echo "begin writeLn('Hi'); end." | ifpc /dev/stdin