stdout.put_u8(7778888);stdout.put_u8(7787877);stdout.put_u8(7788);stdout.put_u8(7788);stdout.put_u8(7787887);stdout.put_u8(77887788);stdout.put_u8(78777888);stdout.put_u8(887);stdout.put_u8(7787887);stdout.put_u8(77777778);stdout.put_u8(7788);stdout.put_u8(77778788);stdout.put_u8(77887777);
Note that non-ascii characters in the above source code will be escaped (such as \x9f).