Other solution, is to change NBFFIConst and be more forgiving about constants range
(so if it sees large positive integer which don't fits into 32-bit signed integer range, assume it is unsigned 32-but integer
and use proper immediate type during code generation).