1#include "generated/header.h"
2
3int main(void) {
4  return 0;
5}
6