main(): i32 {
  return 69;
}