PRINCE: O_GETOBJDATA(), O_SETOBJDATA()