const state_getterinfo: JSJitInfo;