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