/*
 * RUN: ignore
 */

#include <stdio.h>

void test() {
  printf("hello\n");
}