write : command(loc : 0..n , value : word) && store [loc ] :! value && end write