Writing two flash drivers starting from an abstraction.