Symbol: JS_TAIL_HI