Don't test against 5.2. Too different.
Just curry format instead of defining ~a and ~v