Merge pull request #78 from alex/check-cffi

Be stricter in type checking the C prototypes