1#include "generated/header.h"
2
3int main(int argc, char** argv) {
4  return 0;
5}
6