terminal, etc.