Temporal Decomposition of hazards. C-code