MISRA: before and after

//without MISRA
int main(){
   while (new int[1000]);
}


//with MISRA
typedef int int_t;

int main(){
   while (new int_t[unsigned(1000)] != 0){
      ;
   }
   return 0;
}