CtrLog: Handling signals in C program