I don't think package declarations are useful in here