#include <stdint.h>

int32_t answer() {
  return 42;
}