abstract masked read/write + abstract handling of uninitialized values
abstract masked/read write for tos
tblrd + cleanup