COMPILER: more sharing (hack)