const onchange_setterinfo: JSJitInfo;