const sender_getterinfo: JSJitInfo;