arch_int.cpp revision 80c4e0ced06167a20dc11bfeb80f4cb671a86805
19794Sdpochepk