void prints(char *s);

int main() {
  prints("HELLO");

}