beginseg
    segtype LOAD
    vaddr 0xc000000000019000
    segflags R X 
    segalign 0x8
    contents default
endseg
beginseg
    segtype LOAD
    segflags R W 
    segalign 0x8
    prepad 0x1000000
    contents default
endseg
beginseg
    segtype noload
    contents default
endseg
