translateT :: Program -> Runner ()
translateT p = tellHead >>
    translateProgram p >>
    tellTail

tellHead :: Runner ()
tellHead = 
    tell "declare i32 @printf(i8*, ...)\n" >>
    tell "@formatString = private constant [4 x i8] c\"%d\\0A\\00\"\n" >>