arch_int.cpp revision c0b7f988f45f57636059c2648849259acd6b7d32
1