precompletion_stage_1_unchecked_uncompiled