Better handling of C pointer typedefs