memory improvement: do not store implicit TOP values