"The order of execution of code is not guaranteed: the compiler may reorder statements and instructions to make things more efficient."