throws *an* ErrnoException.

?