annotated tyc2lib.c