def find_readline_lib():
 import readline
 f = open(readline.__file__, 'rb')
 try:
  data = f.read()
 finally:
  f.close()
 import re
 m = re.search('\x00([^\x00]*libreadline[^\x00]*)\x00', data)
 if m:
  return m.group(1)
 return None

def find_readline_lib ( ) : import readline f = open ( readline . __file__ , 'rb' ) try : data = f . read ( ) finally : f . close ( ) import re m = re . search ( '\x00([^\x00]*libreadline[^\x00]*)\x00' , data ) if m : return m . group ( 1 ) return None
return the name of the readline library linked to the given readline module .