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