attested R4 write path coverage ok
