first compilable reduction