dom = mkdom(c32le, mkzas(1024));
p = (char*){dom}0;
putbytes(p, "abcdef");
s = getbytes(p, 128);
printf("%d %d\n", isstring(s), strlen(s));
printf("%b\n", s);