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