Actually add a test in test_body_dumppos