format then in main of test