Symbol: i8042_write_command_byte