views: add symbol table guards