implicit list with inline and check heap