convert c types to obj-c types