Debug printing for arch.toString() commented