s!0x80! !;