Terraform v12doesn`t allow naming to start with a digit

[Technobeats]

dd2f is exporting resources with the datadog id as name

resource "datadog_monitor" "123" {

}

Terraform v12 doesn`t allow a name to start with a digit.

: resource "datadog_monitor" "123" {

A name must start with a letter and may contain only letters, digits,
underscores, and dashes.