lots of x86 details