starting work on philoresolved.c