symbol: implement serialization.