#include <stdio.h>

/* TODO: Make this check the kernel for version instead */
int main(void) {
  printf("FENIX PRE_REL 20190903\n");
  return 0;
}