this can be removed since it's only used in unreachable places, since exceptions will be raised instead