types_list.c: add header for prototypes