From 2b1f1094279e19979a69f919116b8487f64c53a5 Mon Sep 17 00:00:00 2001
From: Mingwei Samuel <mingwei.samuel@gmail.com>
Date: Sun, 30 May 2021 22:27:06 -0700
Subject: [PATCH] Handle numeric identifiers

---
 srcgen/dotUtils.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/srcgen/dotUtils.js b/srcgen/dotUtils.js
index db0a719..db7be93 100644
--- a/srcgen/dotUtils.js
+++ b/srcgen/dotUtils.js
@@ -56,7 +56,9 @@ function normalizeArgName(name) {
 }
 
 function normalizePropName(propName) {
-  const out = changeCase.snakeCase(propName);
+  let out = changeCase.snakeCase(propName);
+  if (/^\d/.test(out)) // No leading digits.
+    out = 'x' + out;
   if ('type' === out)
     return 'r#' + out;
   return out;