main() {
  // This is a comment
  return;
}