(*
 * Test that only the constructor for an object can exist as an op.  I.e., one
 * cannot overload an auto constructor.  One can, of course, build some other
 * construction function, say MakeXXX for obj XXX.
 *)
obj Foo;
op Foo;