-- STACK2IMPL just -> entry = -> ~