(** A backend that uses the [perf] command line tool for recording and decoding *)
include Backend_intf.S