Как передать переменные в sys.args? (скрипт Python GDB)

Question

Я хочу передать аргументы командной строки в sys.args (в скрипт Python GDB). Я видел это решение, но хотел бы передать произвольное количество аргументов. Подобно:

gdb --batch -x myScript.py 2 3 4 12 23 ..

myScript.py:

import gdb
import sys

print(sys.argv[1:])

Это возможно?