COMPILER: more sharing