ranlux48.pass.cpp 649 Bytes