Are these actually used directly? I see no use of these exceptions in the source