Universal backend: fix ##fxnot