protected abstract void handle_result(RockPaperScissorsCommandJSON new_result);
protected override void handle_result(RockPaperScissorsCommandJSON new_result) { handle_result((RockPaperScissorsQuitGameCommandJSON )new_result); }