若汇编语言源程序中段的定位类型设定为PARA，则该程序目标代码在内存中的段起始地址应满足( )。