#include <stdio.h>
#include "testprog.h"

void main() {
  printf(STRING "\n");
}