VX(C): Add the FaultException and its unit tests.