not necessary to getSymAddr() when pushing into H