Why declare `extern crate extra` twice?