NO_TERMINATION_CHECK -> TERMINATING in Text.Printf.showHex