Regset stuff moved to stderr