fix bug in unbounded_memory (forgot to advance pointer)
fix size computation

-1 >= 0 for unsigned ints...