Nice! I didn't know about that ``@unchcked`` annotation.