public native static operator-( readonly a as UInt, readonly b as UInt ) as Int