On 1/17/2019 7:32 AM, H. S. Teoh wrote: > You could just check the disassembly yourself. It's a good practice to follow. I don't always remember what it does exactly, as it changes over time, and multiple people have contributed to it. I check the assembler output myself just to be sure.