Some further refinements to package Serial_Generator. It now checks that the write operation succeeds.