19.21 System

Poke provides several constructions to interact with the operating system. These are described in the subsections below.