sorry where are those value stored? I don't see addr16 assigned anywhere... and addr32 seems to be read but not written, am I missing something here?