Check the specification of Serializable