#include "a.h"

int a(void) { return 42; }