p.s. but for this particular case CTFE can fail early, as `Reset_Handler` is `void`, so there is no sense to interpret it.