from typing import List
import csv


def split_arg_list(args: str) -> List[str]:
    """Split a string of comma-separated arguments, handling quotes"""
    reader = csv.reader(
        [args],
        delimiter=",",
        doublequote=False,
        escapechar="\\",
        quotechar='"',
        skipinitialspace=True,
    )
    return [a.strip() for a in next(reader)]