latest work on hte ffi infer code