Example test case, add some formatting