Moved library definition to lib/ppub.dart