Do modern F1 gearboxes use a countershaft for reverse?

[Willhire89]

....the title says it all really - anyone know how they do backwards these days?

[Scuffers]

Not seen a box that uses another shaft for reverse? Usually just have an idle gear...