Can't write `extern crate` here, which seems like a more general problem.