Update semfor.c