import Printf main = printf "%x\n" $> "badstring" ! []