puttab_str(tab)
{
	putchar('[');
	loop
	{
		if ([tab] == 0) {
			putchar(']');
			return;
		}
		putchar('"');
		putstr([tab]);
		putchar('"');
		tab = tab + 1;
		if ([tab] != 0)
			putstr(", ");
	}
}

puttab_num(tab, size)
{
	local i = 0;

	putchar('[');
	loop
	{
		if (i == size) {
			putchar(']');
			return;
		}
		putnum([tab + i]);
		i++;
		if (i != size)
			putstr(", ");
	}
}