const onchange_getterinfo: JSJitInfo;