fbatFormatter test