const transition_setterinfo: JSJitInfo;