fix to make C's UTs passed correctly AND improve slab allocater(in progress)