added symbol-table-stub and adjusted tests