Explicitly cast to RCNTXT*