assert false : "Fell out bottom of loop without finding elt.";