Create PAGAIN.rabin.cpp