Programmed Ribosomal Frameshifting Mediates Expression of the α-Carboxysome.