example_biharmonic from Jun Lu