COMPILER: more debug info