working on object stuff; see <kern/obj.h>