Use result from read_card().