let pretty fmt d = Format.fprintf fmt "[%c%c%c]" (if is_addr d then 'a' else '-') (if is_ctrl d then 'c' else '-') (if is_data d then 'd' else '-')