pushing
done with symboltable