Some problem in understanding Modifies clauses, Abstract/concrete functions. Patched Squander ObjSerFactory