/* TAGS: idtrack min */
/* VERIFY_OPTS: --lamp idtrack -o nofail:malloc */

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

extern "C" uint64_t __lamp_get_tracker( void * p );

int main()
{
    auto tracked = __lamp_any_i64();
    assert( __lamp_get_tracker( &tracked ) == 1 );

    return 0;
}