added lem1802: data structure, allocator and killer implemented, but not usable yet though