static void
print_hello()
{
BIO.println("Hello, world");
}
*
***
*****
*******
*********
***********
*************
***************
*****************
*******************
*
***
*****
*******
*********
***********
*************
***************
*****************
*******************
*
*
*