(write-byte #b1001000)(write-byte #b1100101)(write-byte #b1101100)(write-byte #b1101100)(write-byte #b1101111)(write-byte #b101100)(write-byte #b100000)(write-byte #b1110111)(write-byte #b1101111)(write-byte #b1110010)(write-byte #b1101100)(write-byte #b1100100)(write-byte #b100001)