// S : tags   error star min  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT --solver $solver test.bc

// N : V        : CC_OPT : V_OPT          : TAGS
// V : unit     :        : --lamp unit    :
// V : symbolic :        : --symbolic     : sym
// V : trivial  :        : --lamp trivial :

#include <sys/lamp.h>
#include <assert.h>

int main()
{
    int v = __lamp_any_i32();
    assert( !v ); /* ERROR */
}