/* This is a macro to make the panic message clearer. */