From 2a0815eeb378b0140ef2885514715fb00db7a11e Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 7 Jan 2023 00:53:23 +0530
Subject: refactor: moves stdlib around + package stuff

---
 examples/custom-effect.ts |   2 +-
 examples/ffi.ts           |   2 +-
 examples/file.ts          |   2 +-
 examples/greeting.ts      |   2 +-
 examples/guess-number.ts  |   2 +-
 package.json              |  20 +++--
 src/index.ts              | 218 ++++++++++++++++++++++++++++++++++++++++++++++
 src/runtime.ts            | 213 --------------------------------------------
 src/stdlib/fs.ts          |   6 --
 src/stdlib/index.ts       |   4 -
 src/stdlib/io.ts          |  15 ----
 src/stdlib/stdio.ts       |  12 ---
 src/stdlib/sys.ts         |   8 --
 stdlib/fs.ts              |   6 ++
 stdlib/index.ts           |   4 +
 stdlib/io.ts              |  15 ++++
 stdlib/stdio.ts           |  12 +++
 stdlib/sys.ts             |   8 ++
 tsconfig.json             |  25 ++++++
 yarn.lock                 | 185 +++------------------------------------
 20 files changed, 318 insertions(+), 443 deletions(-)
 create mode 100644 src/index.ts
 delete mode 100644 src/runtime.ts
 delete mode 100644 src/stdlib/fs.ts
 delete mode 100644 src/stdlib/index.ts
 delete mode 100644 src/stdlib/io.ts
 delete mode 100644 src/stdlib/stdio.ts
 delete mode 100644 src/stdlib/sys.ts
 create mode 100644 stdlib/fs.ts
 create mode 100644 stdlib/index.ts
 create mode 100644 stdlib/io.ts
 create mode 100644 stdlib/stdio.ts
 create mode 100644 stdlib/sys.ts
 create mode 100644 tsconfig.json

diff --git a/examples/custom-effect.ts b/examples/custom-effect.ts
index 6a4b8b0..5fbffed 100644
--- a/examples/custom-effect.ts
+++ b/examples/custom-effect.ts
@@ -1,4 +1,4 @@
-import { Bind, DefineEffect, Effect, Kind1, Print } from '../src/stdlib'
+import { Bind, DefineEffect, Effect, Kind1, Print } from '../stdlib'
 
 interface Mathemagic<_A, _B> extends Effect { }
 
diff --git a/examples/ffi.ts b/examples/ffi.ts
index 3310712..484e84d 100644
--- a/examples/ffi.ts
+++ b/examples/ffi.ts
@@ -1,4 +1,4 @@
-import { Bind, Debug, DefineEffect, Effect, JsExpr, Kind1 } from "../src/stdlib"
+import { Bind, Debug, DefineEffect, Effect, JsExpr, Kind1 } from "../stdlib"
 
 interface PrintK<Label extends string = ""> extends Kind1 {
   return: Debug<Label, this['input']>
diff --git a/examples/file.ts b/examples/file.ts
index 3de26d3..b0942de 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -1,4 +1,4 @@
-import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib'
+import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib'
 
 interface PrintK extends Kind1<string> {
   return: PutStringLn<this['input']>
diff --git a/examples/greeting.ts b/examples/greeting.ts
index 5e1a164..ac59151 100644
--- a/examples/greeting.ts
+++ b/examples/greeting.ts
@@ -1,4 +1,4 @@
-import { PutString, Bind, Kind1, ReadLine, Seq } from '../src/stdlib'
+import { PutString, Bind, Kind1, ReadLine, Seq } from '../stdlib'
 
 interface GreetK extends Kind1<string> {
   return: Seq<[
diff --git a/examples/guess-number.ts b/examples/guess-number.ts
index 79f6ad1..92674fd 100644
--- a/examples/guess-number.ts
+++ b/examples/guess-number.ts
@@ -1,4 +1,4 @@
-import { Print, PutString, Bind, Kind1, JsExpr, ReadLine, Do, PutStringLn } from '../src/stdlib'
+import { Print, PutString, Bind, Kind1, JsExpr, ReadLine, Do, PutStringLn } from '../stdlib'
 
 export type main = [
   PutStringLn<"You have 5 guesses">,
diff --git a/package.json b/package.json
index 1f98a54..6b5ebab 100644
--- a/package.json
+++ b/package.json
@@ -1,24 +1,28 @@
 {
-  "name": "typeslang",
+  "name": "ts-types-lang",
   "version": "0.0.0",
-  "description": "__",
-  "main": "__",
-  "repository": "__",
+  "description": "A runtime for typescript types",
+  "main": "stdlib/index.ts",
+  "repository": "https://github.com/phenax/ts-types-runtime-environment",
   "author": "Akshay Nair <phenax5@gmail.com>",
   "license": "MIT",
+  "bin": {
+    "tsr": "./dist/index.js"
+  },
   "scripts": {
-    "runtime": "ts-node src/runtime.ts",
-    "watch": "nodemon --exec 'clear && yarn runtime' -e .ts"
+    "build": "tsc",
+    "postinstall": "yarn build",
+    "dev": "ts-node src/index.ts"
   },
   "dependencies": {
     "ts-morph": "^17.0.1",
-    "ts-node": "^10.9.1",
     "typescript": "^4.9.4",
     "uuid": "^9.0.0"
   },
   "devDependencies": {
     "@types/node": "^18.11.18",
     "@types/uuid": "^9.0.0",
-    "nodemon": "^2.0.20"
+    "ts-node": "^10.9.1",
+    "ts-types-lang": "^0.0.0"
   }
 }
diff --git a/src/index.ts b/src/index.ts
new file mode 100644
index 0000000..34038bf
--- /dev/null
+++ b/src/index.ts
@@ -0,0 +1,218 @@
+import { Project, ScriptTarget, Type, Node, SyntaxKind } from 'ts-morph'
+import path from 'path'
+import { promises as fs } from 'fs'
+import readline from 'readline';
+import { v4 as uuid } from 'uuid';
+import { match } from './util';
+
+const rl = readline.createInterface({
+  input: process.stdin,
+  output: process.stdout,
+  terminal: false
+});
+
+const readLineFromStdin = (): Promise<string> => new Promise((res) => {
+  rl.on('line', res)
+})
+
+const project = new Project({
+  compilerOptions: {
+    target: ScriptTarget.ES3,
+  },
+})
+
+const typeChecker = project.getTypeChecker()
+
+const [filePath] = process.argv.slice(2)
+
+if (!filePath) {
+  throw new Error('Must specify runtime file')
+}
+
+const sourceFile = project.addSourceFileAtPath(path.resolve(filePath))
+
+const entryPoint = sourceFile.getExportedDeclarations().get('main')?.[0]
+
+const typeToString = (ty: Type | undefined): string =>
+  ty ? typeChecker.compilerObject.typeToString(ty.compilerType) : ''
+
+const typeRefNode = entryPoint?.getLastChild()
+
+const RESULT_TYPE_NAME = '__$result'
+
+const [resultTypeNode] = sourceFile.addStatements(`type ${RESULT_TYPE_NAME} = {}`)
+
+const addResult = (name: string, ty: string): Node | undefined => {
+  if (resultTypeNode?.isKind(SyntaxKind.TypeAliasDeclaration)) {
+    const value = resultTypeNode.getChildAtIndex(3)
+    if (value.isKind(SyntaxKind.TypeLiteral)) {
+      return value.addProperty({
+        name: JSON.stringify(name),
+        type: `{ output: ${ty} }`,
+      })
+    }
+  }
+  return
+}
+
+const customEffects: Record<string, (...args: Type[]) => any> = {}
+
+const evaluateType = async (effTyp: Type, node: Node): Promise<string[]> => {
+  const name = effTyp.getSymbol()?.getName()
+  // console.log(name)
+
+  return match(name, {
+    DefineEffect: async () => {
+      const [nameTyp, exprTyp] = effTyp.getTypeArguments()
+      const name = nameTyp?.getLiteralValue() as string
+      const exprStr = exprTyp?.getLiteralValue() as string
+      const func = eval(exprStr)
+
+      Object.assign(customEffects, { [name]: func })
+      return []
+    },
+
+    Print: async () => {
+      console.log(...effTyp.getTypeArguments().map(typeToString));
+      return []
+    },
+
+    PutString: async () => {
+      const [strinTyp] = effTyp.getTypeArguments()
+      const typString = typeToString(strinTyp)
+      const string = JSON.parse(!typString.startsWith('"') ? `"${typString}"` : typString)
+      process.stdout.write(string);
+      return []
+    },
+
+    Debug: async () => {
+      const [labelTyp, valueTyp] = effTyp.getTypeArguments()
+      const label = JSON.parse(typeToString(labelTyp))
+      const value = typeToString(valueTyp)
+      console.log(label, value)
+      // TODO: Return value
+      return []
+    },
+
+    ReadFile: async () => {
+      const [pathTyp] = effTyp.getTypeArguments()
+      const filePath = JSON.parse(typeToString(pathTyp))
+      const contents = await fs.readFile(filePath, 'utf-8')
+      const hash = uuid()
+      addResult(hash, JSON.stringify(contents))
+      return [hash]
+    },
+
+    WriteFile: async () => {
+      const [pathTyp, contentsTyp] = effTyp.getTypeArguments()
+      const filePath = JSON.parse(typeToString(pathTyp))
+      const contents = JSON.parse(typeToString(contentsTyp))
+      await fs.writeFile(filePath, contents)
+      return []
+    },
+
+    Bind: async () => {
+      const [inputTyp, chainToKind] = effTyp.getTypeArguments()
+      const [resultKey] = inputTyp ? await evaluateType(inputTyp, node) : []
+
+      const hash = uuid()
+      const compNode = addResult(hash,
+        `(${typeToString(chainToKind)} & { input: ${RESULT_TYPE_NAME}[${JSON.stringify(resultKey)}]['output'] })['return']`)
+      const compTyp = compNode?.getType().getProperty('output')?.getTypeAtLocation(node)
+
+      return compTyp ? await evaluateType(compTyp, node) : []
+    },
+
+    GetEnv: async () => {
+      const [envTyp] = effTyp.getTypeArguments()
+      const envName = JSON.parse(typeToString(envTyp))
+      const hash = uuid()
+      addResult(hash, `${JSON.stringify(process.env[envName] ?? '')}`)
+      return [hash]
+    },
+
+    GetArgs: async () => {
+      const hash = uuid()
+      addResult(hash, `${JSON.stringify(process.argv.slice(2))}`)
+      return [hash]
+    },
+
+    ReadLine: async () => {
+      const line = await readLineFromStdin()
+      const hash = uuid()
+      addResult(hash, `${JSON.stringify(line)}`)
+      return [hash]
+    },
+
+    JsExpr: async () => {
+      const [exprTyp] = effTyp.getTypeArguments()
+      const exprStr = JSON.parse(typeToString(exprTyp))
+      const result = eval(`JSON.stringify(${exprStr})`)
+      const hash = uuid()
+      addResult(hash, `${result}`)
+      return [hash]
+    },
+
+    Seq: async () => {
+      const [effectTyps] = effTyp.getTypeArguments()
+      const effectResults = await evalList(effectTyps?.getTupleElements() ?? [], node)
+      const hash = uuid()
+      addResult(hash, `[
+        ${effectResults.map(r => `${RESULT_TYPE_NAME}[${JSON.stringify(r)}]`).join(', ')}
+      ]`)
+      return [hash]
+    },
+
+    Do: async () => {
+      const [effectTyps] = effTyp.getTypeArguments()
+      const effectResults = await evalList(effectTyps?.getTupleElements() ?? [], node)
+      const resultKey = effectResults[effectResults.length - 1]
+      const hash = uuid()
+      addResult(hash, `${RESULT_TYPE_NAME}[${JSON.stringify(resultKey)}]['output']`)
+      return [hash]
+    },
+
+    _: async () => {
+      if (name && customEffects[name]) {
+        const out = await customEffects[name]?.(...effTyp.getTypeArguments())
+        if (out) {
+          const hash = uuid()
+          addResult(hash, `${JSON.stringify(out)}`)
+          return [hash]
+        }
+      } else {
+        console.log(`${name} result effect is unhandled`)
+      }
+      return []
+    },
+  })
+}
+
+const evalList = async (effectTyps: Type[], node: Node) => {
+  const effectResults: string[] = []
+  for (const item of effectTyps ?? []) {
+    effectResults.push(...(await evaluateType(item, node)))
+  }
+  return effectResults
+}
+
+const main = async () => {
+  if (typeRefNode) {
+    const resultType = entryPoint?.getType()
+
+    if (resultType) {
+      const effects = resultType.isTuple() ? resultType.getTupleElements() : [resultType]
+      await evalList(effects, typeRefNode)
+    }
+  }
+}
+
+main()
+  .then(() => {
+    // console.log(entryPoint?.print())
+    // console.log(resultTypeNode?.print())
+    rl.close()
+    process.exit(0)
+  })
+  .catch(e => (console.error(e), process.exit(1)))
+
diff --git a/src/runtime.ts b/src/runtime.ts
deleted file mode 100644
index 0a65bf3..0000000
--- a/src/runtime.ts
+++ /dev/null
@@ -1,213 +0,0 @@
-import { Project, ScriptTarget, Type, Node, StringLiteral, TypeFormatFlags, SyntaxKind } from 'ts-morph'
-import path from 'path'
-import { promises as fs } from 'fs'
-import readline from 'readline';
-import { v4 as uuid } from 'uuid';
-import { match } from './util';
-
-const rl = readline.createInterface({
-  input: process.stdin,
-  output: process.stdout,
-  terminal: false
-});
-
-const readLineFromStdin = (): Promise<string> => new Promise((res) => {
-  rl.on('line', res)
-})
-
-const project = new Project({
-  compilerOptions: {
-    target: ScriptTarget.ES3,
-  },
-})
-
-const typeChecker = project.getTypeChecker()
-
-const [filePath] = process.argv.slice(2)
-
-const sourceFile = project.addSourceFileAtPath(path.resolve(filePath))
-
-const entryPoint = sourceFile.getExportedDeclarations().get('main')?.[0]
-
-const typeToString = (ty: Type | undefined): string =>
-  ty ? typeChecker.compilerObject.typeToString(ty.compilerType) : ''
-
-const typeRefNode = entryPoint?.getLastChild()
-
-const RESULT_TYPE_NAME = '__$result'
-
-const [resultTypeNode] = sourceFile.addStatements(`type ${RESULT_TYPE_NAME} = {}`)
-
-const addResult = (name: string, ty: string): Node | undefined => {
-  if (resultTypeNode.isKind(SyntaxKind.TypeAliasDeclaration)) {
-    const value = resultTypeNode.getChildAtIndex(3)
-    if (value.isKind(SyntaxKind.TypeLiteral)) {
-      return value.addProperty({
-        name: JSON.stringify(name),
-        type: `{ output: ${ty} }`,
-      })
-    }
-  }
-}
-
-const customEffects: Record<string, (...args: Type[]) => any> = {}
-
-const evaluateType = async (effTyp: Type, node: Node): Promise<string[]> => {
-  const name = effTyp.getSymbol()?.getName()
-  // console.log(name)
-
-  return match(name, {
-    DefineEffect: async () => {
-      const [nameTyp, exprTyp] = effTyp.getTypeArguments()
-      const name = nameTyp.getLiteralValue() as string
-      const exprStr = exprTyp.getLiteralValue() as string
-      const func = eval(exprStr)
-
-      Object.assign(customEffects, { [name]: func })
-      return []
-    },
-
-    Print: async () => {
-      console.log(...effTyp.getTypeArguments().map(typeToString));
-      return []
-    },
-
-    PutString: async () => {
-      const [strinTyp] = effTyp.getTypeArguments()
-      const typString = typeToString(strinTyp)
-      const string = JSON.parse(!typString.startsWith('"') ? `"${typString}"` : typString)
-      process.stdout.write(string);
-      return []
-    },
-
-    Debug: async () => {
-      const [labelTyp, valueTyp] = effTyp.getTypeArguments()
-      const label = JSON.parse(typeToString(labelTyp))
-      const value = typeToString(valueTyp)
-      console.log(label, value)
-      // TODO: Return value
-      return []
-    },
-
-    ReadFile: async () => {
-      const [pathTyp] = effTyp.getTypeArguments()
-      const filePath = JSON.parse(typeToString(pathTyp))
-      const contents = await fs.readFile(filePath, 'utf-8')
-      const hash = uuid()
-      addResult(hash, JSON.stringify(contents))
-      return [hash]
-    },
-
-    WriteFile: async () => {
-      const [pathTyp, contentsTyp] = effTyp.getTypeArguments()
-      const filePath = JSON.parse(typeToString(pathTyp))
-      const contents = JSON.parse(typeToString(contentsTyp))
-      await fs.writeFile(filePath, contents)
-      return []
-    },
-
-    Bind: async () => {
-      const [inputTyp, chainToKind] = effTyp.getTypeArguments()
-      const [resultKey] = inputTyp ? await evaluateType(inputTyp, node) : []
-
-      const hash = uuid()
-      const compNode = addResult(hash,
-        `(${typeToString(chainToKind)} & { input: ${RESULT_TYPE_NAME}[${JSON.stringify(resultKey)}]['output'] })['return']`)
-      const compTyp = compNode?.getType().getProperty('output')?.getTypeAtLocation(node)
-
-      return compTyp ? await evaluateType(compTyp, node) : []
-    },
-
-    GetEnv: async () => {
-      const [envTyp] = effTyp.getTypeArguments()
-      const envName = JSON.parse(typeToString(envTyp))
-      const hash = uuid()
-      addResult(hash, `${JSON.stringify(process.env[envName] ?? '')}`)
-      return [hash]
-    },
-
-    GetArgs: async () => {
-      const hash = uuid()
-      addResult(hash, `${JSON.stringify(process.argv.slice(2))}`)
-      return [hash]
-    },
-
-    ReadLine: async () => {
-      const line = await readLineFromStdin()
-      const hash = uuid()
-      addResult(hash, `${JSON.stringify(line)}`)
-      return [hash]
-    },
-
-    JsExpr: async () => {
-      const [exprTyp] = effTyp.getTypeArguments()
-      const exprStr = JSON.parse(typeToString(exprTyp))
-      const result = eval(`JSON.stringify(${exprStr})`)
-      const hash = uuid()
-      addResult(hash, `${result}`)
-      return [hash]
-    },
-
-    Seq: async () => {
-      const [effectTyps] = effTyp.getTypeArguments()
-      const effectResults = await evalList(effectTyps?.getTupleElements() ?? [], node)
-      const hash = uuid()
-      addResult(hash, `[
-        ${effectResults.map(r => `${RESULT_TYPE_NAME}[${JSON.stringify(r)}]`).join(', ')}
-      ]`)
-      return [hash]
-    },
-
-    Do: async () => {
-      const [effectTyps] = effTyp.getTypeArguments()
-      const effectResults = await evalList(effectTyps?.getTupleElements() ?? [], node)
-      const resultKey = effectResults[effectResults.length - 1]
-      const hash = uuid()
-      addResult(hash, `${RESULT_TYPE_NAME}[${JSON.stringify(resultKey)}]['output']`)
-      return [hash]
-    },
-
-    _: async () => {
-      if (name && customEffects[name]) {
-        const out = await customEffects[name](...effTyp.getTypeArguments())
-        if (out) {
-          const hash = uuid()
-          addResult(hash, `${JSON.stringify(out)}`)
-          return [hash]
-        }
-      } else {
-        console.log(`${name} result effect is unhandled`)
-      }
-      return []
-    },
-  })
-}
-
-const evalList = async (effectTyps: Type[], node: Node) => {
-  const effectResults: string[] = []
-  for (const item of effectTyps ?? []) {
-    effectResults.push(...(await evaluateType(item, node)))
-  }
-  return effectResults
-}
-
-const main = async () => {
-  if (typeRefNode) {
-    const resultType = entryPoint?.getType()
-
-    if (resultType) {
-      const effects = resultType.isTuple() ? resultType.getTupleElements() : [resultType]
-      await evalList(effects, typeRefNode)
-    }
-  }
-}
-
-main()
-  .then(() => {
-    // console.log(entryPoint?.print())
-    // console.log(resultTypeNode?.print())
-    rl.close()
-    process.exit(0)
-  })
-  .catch(e => (console.error(e), process.exit(1)))
-
diff --git a/src/stdlib/fs.ts b/src/stdlib/fs.ts
deleted file mode 100644
index 1374da5..0000000
--- a/src/stdlib/fs.ts
+++ /dev/null
@@ -1,6 +0,0 @@
-import { Effect } from './io'
-
-export interface WriteFile<_Path extends string, _Content extends string> extends Effect { }
-
-export interface ReadFile<_Path extends string> extends Effect<string> { }
-
diff --git a/src/stdlib/index.ts b/src/stdlib/index.ts
deleted file mode 100644
index 45197d9..0000000
--- a/src/stdlib/index.ts
+++ /dev/null
@@ -1,4 +0,0 @@
-export * from './io'
-export * from './fs'
-export * from './stdio'
-export * from './sys'
diff --git a/src/stdlib/io.ts b/src/stdlib/io.ts
deleted file mode 100644
index c78204f..0000000
--- a/src/stdlib/io.ts
+++ /dev/null
@@ -1,15 +0,0 @@
-export interface Effect<T = unknown> { output: T }
-
-export interface Kind1<Inp = unknown, Out = unknown> {
-  input: Inp
-  return: Out
-}
-
-export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect { }
-
-export interface Seq<_Effs extends Effect[]> extends Effect { }
-
-export interface Do<_Effs extends Effect[]> extends Effect { }
-
-export interface DefineEffect<_Name extends string, _Func extends string> extends Effect { }
-
diff --git a/src/stdlib/stdio.ts b/src/stdlib/stdio.ts
deleted file mode 100644
index 365aead..0000000
--- a/src/stdlib/stdio.ts
+++ /dev/null
@@ -1,12 +0,0 @@
-import { Effect } from './io'
-
-export interface PutString<_ extends string> extends Effect { }
-
-export interface Print<_ extends any> extends Effect { }
-
-export interface Debug<_ extends string, T> extends Effect<T> { }
-
-export interface ReadLine extends Effect<string> { }
-
-export type PutStringLn<S extends string> = PutString<`${S}\n`>
-
diff --git a/src/stdlib/sys.ts b/src/stdlib/sys.ts
deleted file mode 100644
index 03541be..0000000
--- a/src/stdlib/sys.ts
+++ /dev/null
@@ -1,8 +0,0 @@
-import { Effect } from './io'
-
-export interface GetEnv<_Name extends string> extends Effect<string> { }
-
-export interface GetArgs extends Effect<string[]> { }
-
-export interface JsExpr<_Expr extends string> extends Effect<any> { }
-
diff --git a/stdlib/fs.ts b/stdlib/fs.ts
new file mode 100644
index 0000000..1374da5
--- /dev/null
+++ b/stdlib/fs.ts
@@ -0,0 +1,6 @@
+import { Effect } from './io'
+
+export interface WriteFile<_Path extends string, _Content extends string> extends Effect { }
+
+export interface ReadFile<_Path extends string> extends Effect<string> { }
+
diff --git a/stdlib/index.ts b/stdlib/index.ts
new file mode 100644
index 0000000..45197d9
--- /dev/null
+++ b/stdlib/index.ts
@@ -0,0 +1,4 @@
+export * from './io'
+export * from './fs'
+export * from './stdio'
+export * from './sys'
diff --git a/stdlib/io.ts b/stdlib/io.ts
new file mode 100644
index 0000000..c78204f
--- /dev/null
+++ b/stdlib/io.ts
@@ -0,0 +1,15 @@
+export interface Effect<T = unknown> { output: T }
+
+export interface Kind1<Inp = unknown, Out = unknown> {
+  input: Inp
+  return: Out
+}
+
+export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect { }
+
+export interface Seq<_Effs extends Effect[]> extends Effect { }
+
+export interface Do<_Effs extends Effect[]> extends Effect { }
+
+export interface DefineEffect<_Name extends string, _Func extends string> extends Effect { }
+
diff --git a/stdlib/stdio.ts b/stdlib/stdio.ts
new file mode 100644
index 0000000..365aead
--- /dev/null
+++ b/stdlib/stdio.ts
@@ -0,0 +1,12 @@
+import { Effect } from './io'
+
+export interface PutString<_ extends string> extends Effect { }
+
+export interface Print<_ extends any> extends Effect { }
+
+export interface Debug<_ extends string, T> extends Effect<T> { }
+
+export interface ReadLine extends Effect<string> { }
+
+export type PutStringLn<S extends string> = PutString<`${S}\n`>
+
diff --git a/stdlib/sys.ts b/stdlib/sys.ts
new file mode 100644
index 0000000..03541be
--- /dev/null
+++ b/stdlib/sys.ts
@@ -0,0 +1,8 @@
+import { Effect } from './io'
+
+export interface GetEnv<_Name extends string> extends Effect<string> { }
+
+export interface GetArgs extends Effect<string[]> { }
+
+export interface JsExpr<_Expr extends string> extends Effect<any> { }
+
diff --git a/tsconfig.json b/tsconfig.json
new file mode 100644
index 0000000..4174b25
--- /dev/null
+++ b/tsconfig.json
@@ -0,0 +1,25 @@
+{
+  "compilerOptions": {
+    "target": "es2016",
+    "module": "commonjs",
+    "outDir": "./dist",
+    "noEmit": false,
+    "declaration": true,
+    "esModuleInterop": true,
+    "forceConsistentCasingInFileNames": true,
+    "strict": true,
+    "noImplicitAny": true,
+    "strictNullChecks": true,
+    "strictFunctionTypes": true,
+    "strictBindCallApply": true,
+    "strictPropertyInitialization": true,
+    "useUnknownInCatchVariables": true,
+    "alwaysStrict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noImplicitReturns": true,
+    "noUncheckedIndexedAccess": true,
+    "skipLibCheck": false
+  },
+  "include": ["./src/**/*"]
+}
diff --git a/yarn.lock b/yarn.lock
index 8bd5b34..bd3518f 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -88,11 +88,6 @@
   resolved "https://registry.yarnpkg.com/@types/uuid/-/uuid-9.0.0.tgz#53ef263e5239728b56096b0a869595135b7952d2"
   integrity sha512-kr90f+ERiQtKWMz5rP32ltJ/BtULDI5RVO0uavn1HQUOwjx0R1h0rnDYNL0CepF1zL5bSY6FISAfd9tOdDhU5Q==
 
-abbrev@1:
-  version "1.1.1"
-  resolved "https://registry.yarnpkg.com/abbrev/-/abbrev-1.1.1.tgz#f8f2c887ad10bf67f634f005b6987fed3179aac8"
-  integrity sha512-nne9/IiQ/hzIhY6pdDnbBtz7DjPTKrY00P/zvPSm5pOFkl6xuGrGnXn/VtTNNfNtAfZ9/1RtehkszU9qcTii0Q==
-
 acorn-walk@^8.1.1:
   version "8.2.0"
   resolved "https://registry.yarnpkg.com/acorn-walk/-/acorn-walk-8.2.0.tgz#741210f2e2426454508853a2f44d0ab83b7f69c1"
@@ -103,14 +98,6 @@ acorn@^8.4.1:
   resolved "https://registry.yarnpkg.com/acorn/-/acorn-8.8.1.tgz#0a3f9cbecc4ec3bea6f0a80b66ae8dd2da250b73"
   integrity sha512-7zFpHzhnqYKrkYdUjF1HI1bzd0VygEGX8lFk4k5zVMqHEoES+P+7TKI+EvLO9WVMJ8eekdO0aDEK044xTXwPPA==
 
-anymatch@~3.1.2:
-  version "3.1.3"
-  resolved "https://registry.yarnpkg.com/anymatch/-/anymatch-3.1.3.tgz#790c58b19ba1720a84205b57c618d5ad8524973e"
-  integrity sha512-KMReFUr0B4t+D+OBkjR3KYqvocp2XaSzO55UcB6mgQMd3KbcE+mWTyvVV7D/zsdEbNnV6acZUutkiHQXvTr1Rw==
-  dependencies:
-    normalize-path "^3.0.0"
-    picomatch "^2.0.4"
-
 arg@^4.1.0:
   version "4.1.3"
   resolved "https://registry.yarnpkg.com/arg/-/arg-4.1.3.tgz#269fc7ad5b8e42cb63c896d5666017261c144089"
@@ -121,19 +108,6 @@ balanced-match@^1.0.0:
   resolved "https://registry.yarnpkg.com/balanced-match/-/balanced-match-1.0.2.tgz#e83e3a7e3f300b34cb9d87f615fa0cbf357690ee"
   integrity sha512-3oSeUO0TMV67hN1AmbXsK4yaqU7tjiHlbxRDZOpH0KW9+CeX4bRAaX0Anxt0tx2MrpRpWwQaPwIlISEJhYU5Pw==
 
-binary-extensions@^2.0.0:
-  version "2.2.0"
-  resolved "https://registry.yarnpkg.com/binary-extensions/-/binary-extensions-2.2.0.tgz#75f502eeaf9ffde42fc98829645be4ea76bd9e2d"
-  integrity sha512-jDctJ/IVQbZoJykoeHbhXpOlNBqGNcwXJKJog42E5HDPUwQTSdjCHdihjj0DlnheQ7blbT6dHOafNAiS8ooQKA==
-
-brace-expansion@^1.1.7:
-  version "1.1.11"
-  resolved "https://registry.yarnpkg.com/brace-expansion/-/brace-expansion-1.1.11.tgz#3c7fcbf529d87226f3d2f52b966ff5271eb441dd"
-  integrity sha512-iCuPHDFgrHX7H2vEI/5xpz07zSHB00TpugqhmYtVmMO6518mCuRMoOYFldEBl0g187ufozdaHgWKcYFb61qGiA==
-  dependencies:
-    balanced-match "^1.0.0"
-    concat-map "0.0.1"
-
 brace-expansion@^2.0.1:
   version "2.0.1"
   resolved "https://registry.yarnpkg.com/brace-expansion/-/brace-expansion-2.0.1.tgz#1edc459e0f0c548486ecf9fc99f2221364b9a0ae"
@@ -141,50 +115,23 @@ brace-expansion@^2.0.1:
   dependencies:
     balanced-match "^1.0.0"
 
-braces@^3.0.2, braces@~3.0.2:
+braces@^3.0.2:
   version "3.0.2"
   resolved "https://registry.yarnpkg.com/braces/-/braces-3.0.2.tgz#3454e1a462ee8d599e236df336cd9ea4f8afe107"
   integrity sha512-b8um+L1RzM3WDSzvhm6gIz1yfTbBt6YTlcEKAvsmqCZZFw46z626lVj9j1yEPW33H5H+lBQpZMP1k8l+78Ha0A==
   dependencies:
     fill-range "^7.0.1"
 
-chokidar@^3.5.2:
-  version "3.5.3"
-  resolved "https://registry.yarnpkg.com/chokidar/-/chokidar-3.5.3.tgz#1cf37c8707b932bd1af1ae22c0432e2acd1903bd"
-  integrity sha512-Dr3sfKRP6oTcjf2JmUmFJfeVMvXBdegxB0iVQ5eb2V10uFJUCAS8OByZdVAyVb8xXNz3GjjTgj9kLWsZTqE6kw==
-  dependencies:
-    anymatch "~3.1.2"
-    braces "~3.0.2"
-    glob-parent "~5.1.2"
-    is-binary-path "~2.1.0"
-    is-glob "~4.0.1"
-    normalize-path "~3.0.0"
-    readdirp "~3.6.0"
-  optionalDependencies:
-    fsevents "~2.3.2"
-
 code-block-writer@^11.0.3:
   version "11.0.3"
   resolved "https://registry.yarnpkg.com/code-block-writer/-/code-block-writer-11.0.3.tgz#9eec2993edfb79bfae845fbc093758c0a0b73b76"
   integrity sha512-NiujjUFB4SwScJq2bwbYUtXbZhBSlY6vYzm++3Q6oC+U+injTqfPYFK8wS9COOmb2lueqp0ZRB4nK1VYeHgNyw==
 
-concat-map@0.0.1:
-  version "0.0.1"
-  resolved "https://registry.yarnpkg.com/concat-map/-/concat-map-0.0.1.tgz#d8a96bd77fd68df7793a73036a3ba0d5405d477b"
-  integrity sha512-/Srv4dswyQNBfohGpz9o6Yb3Gz3SrUDqBH5rTuhGR7ahtlbYKnVxw2bCFMRljaA7EXHaXZ8wsHdodFvbkhKmqg==
-
 create-require@^1.1.0:
   version "1.1.1"
   resolved "https://registry.yarnpkg.com/create-require/-/create-require-1.1.1.tgz#c1d7e8f1e5f6cfc9ff65f9cd352d37348756c333"
   integrity sha512-dcKFX3jn0MpIaXjisoRvexIJVEKzaq7z2rZKxf+MSr9TkdmHmsU4m2lcLojrj/FHl8mk5VxMmYA+ftRkP/3oKQ==
 
-debug@^3.2.7:
-  version "3.2.7"
-  resolved "https://registry.yarnpkg.com/debug/-/debug-3.2.7.tgz#72580b7e9145fb39b6676f9c5e5fb100b934179a"
-  integrity sha512-CFjzYYAi4ThfiQvizrFQevTTXHtnCqWfe7x1AhgEscTz6ZbLbfoLRLPugTQyBth6f8ZERVUSyWHFD/7Wu4t1XQ==
-  dependencies:
-    ms "^2.1.1"
-
 diff@^4.0.1:
   version "4.0.2"
   resolved "https://registry.yarnpkg.com/diff/-/diff-4.0.2.tgz#60f3aecb89d5fae520c11aa19efc2bb982aade7d"
@@ -215,41 +162,19 @@ fill-range@^7.0.1:
   dependencies:
     to-regex-range "^5.0.1"
 
-fsevents@~2.3.2:
-  version "2.3.2"
-  resolved "https://registry.yarnpkg.com/fsevents/-/fsevents-2.3.2.tgz#8a526f78b8fdf4623b709e0b975c52c24c02fd1a"
-  integrity sha512-xiqMQR4xAeHTuB9uWm+fFRcIOgKBMiOBP+eXiyT7jsgVCq1bkVygt00oASowB7EdtpOHaaPgKt812P9ab+DDKA==
-
-glob-parent@^5.1.2, glob-parent@~5.1.2:
+glob-parent@^5.1.2:
   version "5.1.2"
   resolved "https://registry.yarnpkg.com/glob-parent/-/glob-parent-5.1.2.tgz#869832c58034fe68a4093c17dc15e8340d8401c4"
   integrity sha512-AOIgSQCepiJYwP3ARnGx+5VnTu2HBYdzbGP45eLw1vr3zB3vZLeyed1sC9hnbcOc9/SrMyM5RPQrkGz4aS9Zow==
   dependencies:
     is-glob "^4.0.1"
 
-has-flag@^3.0.0:
-  version "3.0.0"
-  resolved "https://registry.yarnpkg.com/has-flag/-/has-flag-3.0.0.tgz#b5d454dc2199ae225699f3467e5a07f3b955bafd"
-  integrity sha512-sKJf1+ceQBr4SMkvQnBDNDtf4TXpVhVGateu0t918bl30FnbE2m4vNLX+VWe/dpjlb+HugGYzW7uQXH98HPEYw==
-
-ignore-by-default@^1.0.1:
-  version "1.0.1"
-  resolved "https://registry.yarnpkg.com/ignore-by-default/-/ignore-by-default-1.0.1.tgz#48ca6d72f6c6a3af00a9ad4ae6876be3889e2b09"
-  integrity sha512-Ius2VYcGNk7T90CppJqcIkS5ooHUZyIQK+ClZfMfMNFEF9VSE73Fq+906u/CWu92x4gzZMWOwfFYckPObzdEbA==
-
-is-binary-path@~2.1.0:
-  version "2.1.0"
-  resolved "https://registry.yarnpkg.com/is-binary-path/-/is-binary-path-2.1.0.tgz#ea1f7f3b80f064236e83470f86c09c254fb45b09"
-  integrity sha512-ZMERYes6pDydyuGidse7OsHxtbI7WVeUEozgR/g7rd0xUimYNlvZRE/K2MgZTjWy725IfelLeVcEM97mmtRGXw==
-  dependencies:
-    binary-extensions "^2.0.0"
-
 is-extglob@^2.1.1:
   version "2.1.1"
   resolved "https://registry.yarnpkg.com/is-extglob/-/is-extglob-2.1.1.tgz#a88c02535791f02ed37c76a1b9ea9773c833f8c2"
   integrity sha512-SbKbANkN603Vi4jEZv49LeVJMn4yGwsbzZworEoyEiutsN3nJYdbO36zfhGJ6QEDpOZIFkDtnq5JRxmvl3jsoQ==
 
-is-glob@^4.0.1, is-glob@~4.0.1:
+is-glob@^4.0.1:
   version "4.0.3"
   resolved "https://registry.yarnpkg.com/is-glob/-/is-glob-4.0.3.tgz#64f61e42cbbb2eec2071a9dac0b28ba1e65d5084"
   integrity sha512-xelSayHH36ZgE7ZWhli7pW34hNbNl8Ojv5KVmkJD4hBdD3th8Tfk9vYasLM+mXWOZhFkgZfxhLSnrwRr4elSSg==
@@ -279,13 +204,6 @@ micromatch@^4.0.4:
     braces "^3.0.2"
     picomatch "^2.3.1"
 
-minimatch@^3.1.2:
-  version "3.1.2"
-  resolved "https://registry.yarnpkg.com/minimatch/-/minimatch-3.1.2.tgz#19cd194bfd3e428f049a70817c038d89ab4be35b"
-  integrity sha512-J7p63hRiAjw1NDEww1W7i37+ByIrOWO5XQQAzZ3VOcL0PNybwpfmV/N05zFAzwQ9USyEcX6t3UO+K5aqBQOIHw==
-  dependencies:
-    brace-expansion "^1.1.7"
-
 minimatch@^5.1.0:
   version "5.1.2"
   resolved "https://registry.yarnpkg.com/minimatch/-/minimatch-5.1.2.tgz#0939d7d6f0898acbd1508abe534d1929368a8fff"
@@ -298,71 +216,21 @@ mkdirp@^1.0.4:
   resolved "https://registry.yarnpkg.com/mkdirp/-/mkdirp-1.0.4.tgz#3eb5ed62622756d79a5f0e2a221dfebad75c2f7e"
   integrity sha512-vVqVZQyf3WLx2Shd0qJ9xuvqgAyKPLAiqITEtqW0oIUjzo3PePDd6fW9iFz30ef7Ysp/oiWqbhszeGWW2T6Gzw==
 
-ms@^2.1.1:
-  version "2.1.3"
-  resolved "https://registry.yarnpkg.com/ms/-/ms-2.1.3.tgz#574c8138ce1d2b5861f0b44579dbadd60c6615b2"
-  integrity sha512-6FlzubTLZG3J2a/NVCAleEhjzq5oxgHyaCU9yYXvcLsvoVaHJq/s5xXI6/XXP6tz7R9xAOtHnSO/tXtF3WRTlA==
-
-nanoid@^4.0.0:
-  version "4.0.0"
-  resolved "https://registry.yarnpkg.com/nanoid/-/nanoid-4.0.0.tgz#6e144dee117609232c3f415c34b0e550e64999a5"
-  integrity sha512-IgBP8piMxe/gf73RTQx7hmnhwz0aaEXYakvqZyE302IXW3HyVNhdNGC+O2MwMAVhLEnvXlvKtGbtJf6wvHihCg==
-
-nodemon@^2.0.20:
-  version "2.0.20"
-  resolved "https://registry.yarnpkg.com/nodemon/-/nodemon-2.0.20.tgz#e3537de768a492e8d74da5c5813cb0c7486fc701"
-  integrity sha512-Km2mWHKKY5GzRg6i1j5OxOHQtuvVsgskLfigG25yTtbyfRGn/GNvIbRyOf1PSCKJ2aT/58TiuUsuOU5UToVViw==
-  dependencies:
-    chokidar "^3.5.2"
-    debug "^3.2.7"
-    ignore-by-default "^1.0.1"
-    minimatch "^3.1.2"
-    pstree.remy "^1.1.8"
-    semver "^5.7.1"
-    simple-update-notifier "^1.0.7"
-    supports-color "^5.5.0"
-    touch "^3.1.0"
-    undefsafe "^2.0.5"
-
-nopt@~1.0.10:
-  version "1.0.10"
-  resolved "https://registry.yarnpkg.com/nopt/-/nopt-1.0.10.tgz#6ddd21bd2a31417b92727dd585f8a6f37608ebee"
-  integrity sha512-NWmpvLSqUrgrAC9HCuxEvb+PSloHpqVu+FqcO4eeF2h5qYRhA7ev6KvelyQAKtegUbC6RypJnlEOhd8vloNKYg==
-  dependencies:
-    abbrev "1"
-
-normalize-path@^3.0.0, normalize-path@~3.0.0:
-  version "3.0.0"
-  resolved "https://registry.yarnpkg.com/normalize-path/-/normalize-path-3.0.0.tgz#0dcd69ff23a1c9b11fd0978316644a0388216a65"
-  integrity sha512-6eZs5Ls3WtCisHWp9S2GUy8dqkpGi4BVSz3GaqiE6ezub0512ESztXUwUB6C6IKbQkY2Pnb/mD4WYojCRwcwLA==
-
 path-browserify@^1.0.1:
   version "1.0.1"
   resolved "https://registry.yarnpkg.com/path-browserify/-/path-browserify-1.0.1.tgz#d98454a9c3753d5790860f16f68867b9e46be1fd"
   integrity sha512-b7uo2UCUOYZcnF/3ID0lulOJi/bafxa1xPe7ZPsammBSpjSWQkjNxlt635YGS2MiR9GjvuXCtz2emr3jbsz98g==
 
-picomatch@^2.0.4, picomatch@^2.2.1, picomatch@^2.3.1:
+picomatch@^2.3.1:
   version "2.3.1"
   resolved "https://registry.yarnpkg.com/picomatch/-/picomatch-2.3.1.tgz#3ba3833733646d9d3e4995946c1365a67fb07a42"
   integrity sha512-JU3teHTNjmE2VCGFzuY8EXzCDVwEqB2a8fsIvwaStHhAWJEeVd1o1QD80CU6+ZdEXXSLbSsuLwJjkCBWqRQUVA==
 
-pstree.remy@^1.1.8:
-  version "1.1.8"
-  resolved "https://registry.yarnpkg.com/pstree.remy/-/pstree.remy-1.1.8.tgz#c242224f4a67c21f686839bbdb4ac282b8373d3a"
-  integrity sha512-77DZwxQmxKnu3aR542U+X8FypNzbfJ+C5XQDk3uWjWxn6151aIMGthWYRXTqT1E5oJvg+ljaa2OJi+VfvCOQ8w==
-
 queue-microtask@^1.2.2:
   version "1.2.3"
   resolved "https://registry.yarnpkg.com/queue-microtask/-/queue-microtask-1.2.3.tgz#4929228bbc724dfac43e0efb058caf7b6cfb6243"
   integrity sha512-NuaNSa6flKT5JaSYQzJok04JzTL1CA6aGhv5rfLW3PgqA+M2ChpZQnAC8h8i4ZFkBS8X5RqkDBHA7r4hej3K9A==
 
-readdirp@~3.6.0:
-  version "3.6.0"
-  resolved "https://registry.yarnpkg.com/readdirp/-/readdirp-3.6.0.tgz#74a370bd857116e245b29cc97340cd431a02a6c7"
-  integrity sha512-hOS089on8RduqdbhvQ5Z37A0ESjsqz6qnRcffsMU3495FuTdqSm+7bhJ29JvIOsBDEEnan5DPu9t3To9VRlMzA==
-  dependencies:
-    picomatch "^2.2.1"
-
 reusify@^1.0.4:
   version "1.0.4"
   resolved "https://registry.yarnpkg.com/reusify/-/reusify-1.0.4.tgz#90da382b1e126efc02146e90845a88db12925d76"
@@ -375,30 +243,6 @@ run-parallel@^1.1.9:
   dependencies:
     queue-microtask "^1.2.2"
 
-semver@^5.7.1:
-  version "5.7.1"
-  resolved "https://registry.yarnpkg.com/semver/-/semver-5.7.1.tgz#a954f931aeba508d307bbf069eff0c01c96116f7"
-  integrity sha512-sauaDf/PZdVgrLTNYHRtpXa1iRiKcaebiKQ1BJdpQlWH2lCvexQdX55snPFyK7QzpudqbCI0qXFfOasHdyNDGQ==
-
-semver@~7.0.0:
-  version "7.0.0"
-  resolved "https://registry.yarnpkg.com/semver/-/semver-7.0.0.tgz#5f3ca35761e47e05b206c6daff2cf814f0316b8e"
-  integrity sha512-+GB6zVA9LWh6zovYQLALHwv5rb2PHGlJi3lfiqIHxR0uuwCgefcOJc59v9fv1w8GbStwxuuqqAjI9NMAOOgq1A==
-
-simple-update-notifier@^1.0.7:
-  version "1.1.0"
-  resolved "https://registry.yarnpkg.com/simple-update-notifier/-/simple-update-notifier-1.1.0.tgz#67694c121de354af592b347cdba798463ed49c82"
-  integrity sha512-VpsrsJSUcJEseSbMHkrsrAVSdvVS5I96Qo1QAQ4FxQ9wXFcB+pjj7FB7/us9+GcgfW4ziHtYMc1J0PLczb55mg==
-  dependencies:
-    semver "~7.0.0"
-
-supports-color@^5.5.0:
-  version "5.5.0"
-  resolved "https://registry.yarnpkg.com/supports-color/-/supports-color-5.5.0.tgz#e2e69a44ac8772f78a1ec0b35b689df6530efc8f"
-  integrity sha512-QjVjwdXIt408MIiAqCX4oUKsgU2EqAGzs2Ppkm4aQYbjm+ZEWEcW4SfFNTr4uMNZma0ey4f5lgLrkB0aX0QMow==
-  dependencies:
-    has-flag "^3.0.0"
-
 to-regex-range@^5.0.1:
   version "5.0.1"
   resolved "https://registry.yarnpkg.com/to-regex-range/-/to-regex-range-5.0.1.tgz#1648c44aae7c8d988a326018ed72f5b4dd0392e4"
@@ -406,13 +250,6 @@ to-regex-range@^5.0.1:
   dependencies:
     is-number "^7.0.0"
 
-touch@^3.1.0:
-  version "3.1.0"
-  resolved "https://registry.yarnpkg.com/touch/-/touch-3.1.0.tgz#fe365f5f75ec9ed4e56825e0bb76d24ab74af83b"
-  integrity sha512-WBx8Uy5TLtOSRtIq+M03/sKDrXCLHxwDcquSP2c43Le03/9serjQBIztjRz6FkJez9D/hleyAXTBGLwwZUw9lA==
-  dependencies:
-    nopt "~1.0.10"
-
 ts-morph@^17.0.1:
   version "17.0.1"
   resolved "https://registry.yarnpkg.com/ts-morph/-/ts-morph-17.0.1.tgz#d85df4fcf9a1fcda1b331d52c00655f381c932d1"
@@ -440,16 +277,20 @@ ts-node@^10.9.1:
     v8-compile-cache-lib "^3.0.1"
     yn "3.1.1"
 
+ts-types-lang@^0.0.0:
+  version "0.0.0"
+  resolved "https://registry.yarnpkg.com/ts-types-lang/-/ts-types-lang-0.0.0.tgz#bf7eb3f25f19d321c9352fed06d4320315874baa"
+  integrity sha512-w5US2+K5VuO8oFz/cD8XS53MZwEr4PIIpHaGAtCeKCGCe+F5Wg2lFQtHt77LZ4S+EZFzKPpVvKXBy9VSvD7DFA==
+  dependencies:
+    ts-morph "^17.0.1"
+    typescript "^4.9.4"
+    uuid "^9.0.0"
+
 typescript@^4.9.4:
   version "4.9.4"
   resolved "https://registry.yarnpkg.com/typescript/-/typescript-4.9.4.tgz#a2a3d2756c079abda241d75f149df9d561091e78"
   integrity sha512-Uz+dTXYzxXXbsFpM86Wh3dKCxrQqUcVMxwU54orwlJjOpO3ao8L7j5lH+dWfTwgCwIuM9GQ2kvVotzYJMXTBZg==
 
-undefsafe@^2.0.5:
-  version "2.0.5"
-  resolved "https://registry.yarnpkg.com/undefsafe/-/undefsafe-2.0.5.tgz#38733b9327bdcd226db889fb723a6efd162e6e2c"
-  integrity sha512-WxONCrssBM8TSPRqN5EmsjVrsv4A8X12J4ArBiiayv3DyyG3ZlIg6yysuuSYdZsVz3TKcTg2fd//Ujd4CHV1iA==
-
 uuid@^9.0.0:
   version "9.0.0"
   resolved "https://registry.yarnpkg.com/uuid/-/uuid-9.0.0.tgz#592f550650024a38ceb0c562f2f6aa435761efb5"
-- 
cgit v1.3.1