fix accessing esil-internals