Using module st to handle the symbol table