// S : tags   interval min  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify --lamp interval -o nofail:malloc $V_OPT test.bc

#include <sys/lamp.h>
#include <sys/lift.h>
#include <cassert>

int main()
{
    auto a = __lamp::lift( 3, 7 ); // a = [ 3, 7 ]
    auto b = __lamp::lift( 2, 3 ); // b = [ 2, 3 ]

    auto c = a + b; // c = [ 5, 10 ]
    if ( c < 7 )  // c = [ 5, 6 ]
    {
        assert( a == __lamp::lift( 3, 4 ) );
        assert( b == __lamp::lift( 2, 3 ) );
    }
    else // c = [ 7, 10 ]
    {
        assert( a == __lamp::lift( 4, 7 ) );
        assert( b == __lamp::lift( 2, 3 ) );
    }
}