Export ASDF utilities