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, size) { local i = 0; putchar('['); loop { if (i == size) break; putnum([tab + i]); i++; if (i != size) putstr(", "); } putchar(']'); }