srcs/cupertino_page_controller library