emuxki_read_micro
value = emuxki_read_micro(config, *pc << 1);
value = emuxki_read_micro(config, (*pc << 1) + 1);
value = emuxki_read_micro(config, *pc << 1);
value = emuxki_read_micro(config, (*pc << 1) + 1);