Marcação: terminal