My research and development project into Lazy-CSeq and C underspecified behaviour http://deavmi.assigned.network/research/