int main() {
  // invoke some exteral function
  callback(53);
  return 42;
}
