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