Swift writeData
writeData will write out data structures in the format described for readData. The following example demonstrates how one can write a string "foo" into a file "writeDataPrimitive.out":
type file;
string s = "foo";
file f <"writeDataPrimitive.out">;
f=writeData(s);