Fallback arg assumptions for cpp ffi