const charset_getterinfo: JSJitInfo;