libpetrec