val writeCapReg : (regno, CapStruct) -> unit effect {wreg}