Some work on stronger-typing in cffi