85814defdf42 on x86_64