Testing out infer, fixing bugs along the way.