I'm just going to note, because why not, i imagine a truth machine program, with the current sketchy concept, would look like this: 0{0p}{{1p}⥀}⤙
Breaking that down:
0 Push 0 to the stack, to give the necessary data to the upcoming switch command.
{ Begin a sub block.
0p Push 0 to the stack and print it.
} End the block. '0p' is now on the stack as a function.
{ Begin the next block. This block will be the catchall for the switch.
{1p} Shouldn't need to break it down again. This pushes '1' to the stack and prints it out.