Highfi-prototypes