const submitter_getterinfo: JSJitInfo;