#ifndef hr2_pmap_decode_generic_H
#define hr2_pmap_decode_generic_H

/* Last edited on 2024-09-07 18:10:59 by stolfi */

#define _GNU_SOURCE
#include <stdint.h>

#include <hr2.h>
#include <sign.h>

#endif