#include <stdio.h> void vcl_stuff() { printf("Placeholder for a file with strange name\n"); }