docs: def ainput(prompt='', *, streams=None, use_stderr=False, loop=None):
      """Asynchronous equivalent to *input*."""
      # Get standard streams
      if streams is None:
          streams = yield from get_standard_streams(
              use_stderr=use_stderr, loop=loop)
      reader, writer = streams
      # Write prompt
      writer.write(prompt.encode())
      yield from writer.drain()
      # Get data
      data = yield from reader.readline()
      # Decode data
      data = data.decode()
      # Return or raise EOF
      if not data.endswith('\n'):
          raise EOFError
      return data.rstrip('\n')