Symbol: decode_vers_1