// 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()
{
    // a:      6------12
    // b:                13----15
    auto a = __lamp::lift( 6, 12 ); // a = [ 6, 12 ]
    auto b = __lamp::lift( 13, 15 ); // b = [ 13, 15 ]

    if ( a < b ) {
        assert( a < b );
    }
    else {
        assert( false ); //UNREACHABLE
    }
}