1 #include <stdio.h>
2 
vcl_stuff()3 void vcl_stuff()
4 {
5   printf("Placeholder for a file with strange name\n");
6 }
7