// BOLT test case

#include <stdio.h>

typedef unsigned long long (*FP)();

extern FP getCallback();
extern FP getCallback2();
extern FP getCallback3();

int main() {
  printf("Case 1: Result is: %llX\n", (*getCallback())());
  printf("Case 2: Result is: %llX\n", (*getCallback2())());
  printf("Case 3: Result is: %llX\n", (*getCallback3())());
  return 0;
}