@spec format(integer(), String.t(), String.t(), integer()) :: iodata()
@spec say(integer()) :: String.t()
@spec say_io(integer()) :: iodata()
@spec separator(integer()) :: String.t()