#include <stdio.h>
void exported_from_c() { printf("from c\n"); }