int iaddr_(void* my_active) {
  return (int) my_active;
}