How are offsets ranges of x86-64 Linux ABI small code model derived? The ABI document describes the non-PIC small code model as follows: