naked asserts are to be avoided, prefer `require(sym.pos.exists, sym)`.