module trapnested2:

output A, B, C, D;

emit A;
trap U in
    trap T in
        exit U;
        emit B
    end trap;
    emit C
end trap;
emit D

end module