puttab_str(tab) { local tmp = tab; putchar('['); loop { if ([tmp] == 0) break; putchar('"'); putstr([tmp]); putchar('"'); if ([tmp + 1] != 0) putstr(", "); tmp++; } putchar(']'); } puttab_num(tab) { local tmp = tab; putchar('['); loop { if ([tmp] == 0) break; putnum([tmp]); if ([tmp + 1] != 0) putstr(", "); tmp++; } putchar(']'); }