def convert_string_list(string_list):
    """
    Converts a list of strings (e.g. ["3", "5", "6"]) to a list of integers.
    In: list of strings
    Out: list of integers
    """
    int_list = []
    for string in string_list:
        int_list.append(int(string))
    return int_list