Use const, de-obsolete monitor command.