Add symbol table; revert call instruction semantics