Symbol: read_from_ec