Added ensure-constructor-call example.