## `byte` ::: type byte = number; :::