Test that at_to_xml works