Tcl：将带方括号的参数传递给过程 （SDC）

问：

我想构建一个 SDC 模拟器。 这是我的流程：

proc set_false_path { body ... }
proc get_pins { body ...}

我使用 tcl 内置的“source”来读取 SDC 文件，MY_SDC_FILE.sdc（MY_SDC_FILE.sdc 中有很多文件）

在文件中，有一个命令：

set_false_path -through [get_pins my_pin[1]]

它将报告“无效的命令名称”1“错误

我尝试像“proc 1 { body ...}”一样做 proc，但如果有像 [100000] 这样的情况，则很耗时。 任何修复错误的方法，谢谢。