0xbfffffff
