types.h v4.2