int main() {
	// Calls foo()
	foo();
	return 0;
}

/**
  Some info about @foo()
  @return void
*/
void foo() {
/* Do nothing */
	
}