RED: throw exception