adjustments for 64-bit integer warnings
end of lecture #9