void rfid_read_id() {
    char rfidCardID[13];    // last char reserved for NULL
    for (int i=0; i<12; i++)
        rfidCardID[i] = usart_read_one_byte();
}