problem with REG32() in IXP425