Towards ctor as Tdef.