If s->ctx is NULL then this is an internal error