Add ut.c and binsem.c