ATermWrite

writeAT