///|
let max_alloc_elems : Int = 1_073_741_824