ATermWrite
writeAT