return const native_int* from here instead of casting constness away