#ifndef hr2_pmap_decode_translation_H
#define hr2_pmap_decode_translation_H

/* Last edited on 2024-09-07 18:12:34 by stolfi */

#define _GNU_SOURCE
#include <stdint.h>

#include <hr2.h>

#endif