More refined compilation