Create printf.hs