28.issue: should not use 0x80000001 as a MIN int