constant pool is generated *correctly*