#include "a.h"

int c_print_x();