add some tests related to c-types