2023-06-18 13:42:57 -04:00
|
|
|
puttab_str(tab)
|
|
|
|
{
|
|
|
|
putchar('[');
|
|
|
|
loop
|
|
|
|
{
|
2023-07-24 23:43:10 -04:00
|
|
|
if ([tab] == 0) {
|
|
|
|
putchar(']');
|
|
|
|
return;
|
|
|
|
}
|
2023-06-18 13:42:57 -04:00
|
|
|
putchar('"');
|
2023-07-24 23:43:10 -04:00
|
|
|
putstr([tab]);
|
2023-06-18 13:42:57 -04:00
|
|
|
putchar('"');
|
2023-07-25 03:48:20 -04:00
|
|
|
tab++;
|
2023-07-24 23:43:10 -04:00
|
|
|
if ([tab] != 0)
|
2023-06-18 13:42:57 -04:00
|
|
|
putstr(", ");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-06-24 10:10:40 -04:00
|
|
|
puttab_num(tab, size)
|
2023-06-18 13:42:57 -04:00
|
|
|
{
|
2023-06-24 10:10:40 -04:00
|
|
|
local i = 0;
|
2023-06-18 13:42:57 -04:00
|
|
|
|
|
|
|
putchar('[');
|
|
|
|
loop
|
|
|
|
{
|
2023-07-24 23:43:10 -04:00
|
|
|
if (i == size) {
|
|
|
|
putchar(']');
|
|
|
|
return;
|
|
|
|
}
|
2023-06-24 10:10:40 -04:00
|
|
|
putnum([tab + i]);
|
|
|
|
i++;
|
|
|
|
if (i != size)
|
2023-06-18 13:42:57 -04:00
|
|
|
putstr(", ");
|
|
|
|
}
|
|
|
|
}
|