if (encountered == 0)
{
    event_user(0);
    encountered = 1;
}