arch_int.cpp revision a52dd58d
1