#include <stdio.h>

extern void __empty_library__() {
	printf("%s\n", "empty");
}