def get_filter_arg_host_port(f, arg):
    """Convert integer to host special port string."""
    arg_types = {
            8: 'HOST_DYNAMIC_PAGER_PORT',
            9: 'HOST_AUDIT_CONTROL_PORT',
            10: 'HOST_USER_NOTIFICATION_PORT',
            11: 'HOST_AUTOMOUNTD_PORT',
            12: 'HOST_LOCKD_PORT',
            13: 'unknown: 13',
            14: 'HOST_SEATBELT_PORT',
            15: 'HOST_KEXTD_PORT',
            16: 'HOST_CHUD_PORT',
            17: 'HOST_UNFREED_PORT',
            18: 'HOST_AMFID_PORT',
            19: 'HOST_GSSD_PORT',
            20: 'HOST_TELEMETRY_PORT',
            21: 'HOST_ATM_NOTIFICATION_PORT',
            22: 'HOST_COALITION_PORT',
            23: 'HOST_SYSDIAGNOSE_PORT',
            24: 'HOST_XPC_EXCEPTION_PORT',
            25: 'HOST_CONTAINERD_PORT',
        }
    if arg in arg_types.keys():
        return '"%s"' % (arg_types[arg])
    else:
        return '%d' % arg