Compilable and style checked F0 compat, prepared to publish, test for the examples needed.