Added some attributes to lib.rs