Allow #[pub] instead of #[export]

to align with normal rust syntax. (`pub`'s not an attribute in Rust, but
at least it's closer)