2005-06-28 Xen ストリームタイプはなかなか興味深いが、ときどきラッピングが取れないことがある。あとchoice{object;int;}からchoice{string;int;}などへの変換はキャストでできるとありがたいのだが。