Functions in types.h