How to initialize an empty List[String]

from python import Python

fn add(a: Int, b: Int) -> Int:
    return a + b

fn sub(a: Int, b: Int) -> Int:
    return a - b

fn mul(a: Int, b: Int) -> Int:
    return a * b

fn safe_div(a: Int, b: Int) -> Float32:
    return a / b

fn main() raises:
    var user_input = Python.evaluate("input('Enter [verb] [args]: ') ").split(" ")

    var verb: String = ""
    var args: List[String]

    for i in range(0, len(user_input)):
        if i == 0:
            verb = user_input[0]
        else:
            args.append(user_input[i])

var args: List[String] = []