const onsubmit_getterinfo: JSJitInfo;