Use boolean return value in ARMMain.run(..).