They'll just need to update the prompt with "make sure there's no UB", and it should be good.