translateVariableName :: LVar -> String
translateVariableName (Loc i) =
  jsVar i
translateVariableName :: LVar -> String
translateVariableName (Loc i) =
  jsVar i
translateVariableName (Loc i) =
  jsVar i