Constant PR_SET_VMA 

const PR_SET_VMA: c_int = 0x53_56_4d_41;