extern const int __divine_alloc_can_fail;
const int __divine_alloc_can_fail = 0;