let pretty_td fmt td = Format.fprintf fmt "%s" (match td with Ctrl -> "c" | Addr -> "a" | Data -> "d")