const onpaste_setterinfo: JSJitInfo;