# NYI: BUG: c backend should also result in precondition failure, but does not seem to terminate?
