TODO: test fork with alloction table; implement addressing (still modifying cesk_store.c)