def int2hexstrings(number_list):
    """
    list of integers to list of 4-digit hex strings

    >>> int2hexstrings([0, 1, 65535])
    ['0000', '0001', 'FFFF']
    """
    return [str("{:04X}".format(n)) for n in number_list]