/**
 * A library that supports various program execution services.
 */
class Sys {

    /** Performs all the initializations required by the OS. */
    function void init() {
		do GPIO.init(4096);
		while (true){
			do GPIO.writeLed(GPIO.readBut());
		}
		return;
	}

}
