Modified Launcher so that variables are stored as (name, value)
entries rather than InputVariable instances, for better memory efficiency.