[astab] push