Re: whether genode c++ support RTTI