ctf_integer(int, alloc_order, alloc_order)
ctf_integer(int, fallback_order, fallback_order)
ctf_integer(int, alloc_migratetype, alloc_migratetype)
ctf_integer(int, alloc_order, alloc_order)
ctf_integer(int, fallback_order, fallback_order)
ctf_integer(int, alloc_migratetype, alloc_migratetype)