const onsubmit_setterinfo: JSJitInfo;