[133] use in-stack representation