Specified the argument types of the foreign function that I'm using to make pypy faster.