Stepping Stones to Inductive Synthesis of Low-Level Looping Programs