public string get_specific_input(SpecificInput input) { return "Hello!"; }
public string get_specific_input(SpecificInput input) { return("Hello!"); }