Changed unsigned int to nativeint.
When using unsigned int the compilation throws a segmentation fault.