const options_getterinfo: JSJitInfo;