* bug fix on allocation of temporary symbols