This question is about SRAM, WHILE and other notions of effective computability. (a) Describe precisely what the judgment pt (l,o) (l', o') means for an SRAM program p. Recall that & and l are program labels and that o and o' are stores that map natural numbers to natural numbers.