#include <stdio.h>

void main(void) {

  printf("Print an int %d\n","Hi Dave");
}