Your comments

Actually, I get this with x32 as well.