fun dwrite(p:int; v:int) returns ()
fun dread(p:int) returns (v: int)