///////////////////////////////////////////////////////////////////////////////
//
///////////////////////////////////////////////////////////////////////////////

#include <cstdio>

//_____________________________________________________________________________
extern "C" void print_v_(const char* format, int* var, int len) {
  printf(format,*var);
}

//_____________________________________________________________________________
extern "C" void print_s_(const char* format, int len) {
  printf(format);
}

//_____________________________________________________________________________
extern "C" void print_l_(const char* line, int len) {
  printf("%s",line);
}