Std.int fix, more debug