Furthermore, if we want to retain the ability to extend the functionality of the interfaces (e.g. providing a reset function for a clock for testing) we will need to make upstream changes to the libraries provide by mirage (making them unwrapped) and/or make changes to dune.