let \1 : { 0 }
"\set(1 0 0)"