Check will raise an error with the provided message in case b is false.

Checkf will raise an error in case b is false.

CheckNot will raise an error with the provided message in case b is true.

CheckNotf will raise an error with the provided message in case b is true.

Unreachable marks some code sequence that must never be executed.

Unreachablef marks some code sequence that must never be executed.