#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;
}