incomplete:FFI.find_type needs to be reviewed for spec completeness
