Evaluated proc {unknown:9:cmd/^bigfont(\d+)$/} args {. $args}