// Normal termination
cdx.s.a(null);