Add with-statment support to VatTerminal.