Constant PR_SET_VMA

const PR_SET_VMA: c_int = 0x53_56_4d_41;