/* ditto, but when interactive */