Simple stuff to write to a file