Symbol: DB_MACHINE_COMMANDS