/* TAGS: error star min */
/* VERIFY_OPTS: */

// V: trivial  V_OPT: --lamp trivial
// V: unit     V_OPT: --lamp unit
// V: symbolic V_OPT: --symbolic TAGS: error sym

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

int main()
{
    int v = __lamp_any_i32();
    int w = __lamp_any_i32();
    assert( ( v > 0 ) | ( w > 0 ) ); /* ERROR */
}