dredd inject prelude just after `[[noreturn]]`

[JonathanFoo0523]

Applying dredd to

[[noreturn]] static void foo() {
  int x = 42;
}

results in

[[noreturn]] #include <cinttypes>
.... DREDD_PRELUDE....
static void foo() {
  int x = __dredd_replace_expr_int_constant(42, 0);
}