#include <stdio.h>

int hai() {
  return 42;
}