#include <stdint.h>

__thread int var;

unsigned int

la_version (unsigned int v)

{

  return v;

}

void

la_activity (uintptr_t *cookie, unsigned int flag)

{

  ++var;

}