new flags1 = read_flags("ade") new flags2 = read_flags("abdie") flags1 |= flags2 set_user_flags(id, flags1)