serializing/unserializing + various different refinings