Dear Amit, Chao,
Thanks for giving comments. But I do not want to move the Assert() atop
switch-case statements; the function would be dirty for other cases.
Attached patch updates condition and comments based on your suggestions.
Best regards,
Hayato Kuroda
FUJITSU LIMITED