def symbol_string(symbol):
 if (symbol < (1 << 32)):
  return _key_names.get(symbol, str(symbol))
 else:
  return ('user_key(%x)' % (symbol >> 32))

def symbol_string ( symbol ) : if ( symbol < ( 1 << 32 ) ) : return _key_names . get ( symbol , str ( symbol ) ) else : return ( 'user_key(%x)' % ( symbol >> 32 ) )
return a string describing a key symbol .