Define mkInteger
drwxr-xr-x - libraries