#include "vtablename.h"
#include "config.h"
#include <stdio.h>

char *
emit_vtable_name (class_name)
     char *class_name;
{
  static buffer[100];
#if VTABLE_LABEL_HAS_LENGTH
  sprintf (buffer, "%s%d%s",
	   VTABLE_LABEL_PREFIX, strlen (class_name), class_name);
#else
  sprintf (buffer, "%s%s", VTABLE_LABEL_PREFIX, class_name);
#endif
  return buffer;
}
