module FFIAdditions