def extract_ids(records):
    """
    Given a list of records from a remote server, return a list of ids contained therein.
    """
    ids = []
    for record in records:
        ids.append(record['id'])

    return ids