¹⁸The cpu and real time information is not printed if the user has made use of the set show timing off command (see Appendix A.11).