結果 : case of otherwise endcase pseudocode example