Bug report

[Martin von Loewis]

[typeid(int)]
> It prints only "i", not "int".

Andrei,

Thanks for your report. This is not a bug; though: The C++ compiler is
free to chose any string it likes, as long as it is distinct from other
typeid names (a more detailed specification is in the C++ standard).

However, please do report those "illegal instruction errors". When you
do so, make sure to include preprocessor output.

Regards,
Martin