//@ aux-crate:shared=shared.rs

// This is public.
extern crate shared;