New file NoCompilePush2 which doesn't have the Write data type.
This will hopefully be simpler to present in the paper