#include <@PKG_HEADER@> int main() { }