the video memory Bob asks the card for: one slot (the GPFIFO and its USERD
page are all it places there)
26def bobMinimumVideoBytes : Nat = bobDeviceSlotBytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.