Papi.add : Exception: Sys_error "Unknown PAPI error.".

[Tertiu]

Can't add any event to an eventset.

Papi.init ();;

unit = ()

let es = Papi.create () ;;

val es : Papi.eventset =

Papi.add es L3_TCA;;

Exception: Sys_error "Unknown PAPI error.".