#include <stdio.h>

void xyz(void) {
    printf("v1 xyz\n");
}