def to_hex_string(data):
if isinstance(data, int):<EOL><INDENT>return '<STR_LIT>' % data<EOL><DEDENT>return '<STR_LIT::>'.join([('<STR_LIT>' % o) for o in data])<EOL>
Convert list of integers to a hex string, separated by ":