First attempt at implementation of x86-tso
Fix write function for tso.pml