Test for Alephant's write() method