{
  "title": "Bank Account",
  "origin_url": "https://github.com/runtimeverification/k/blob/master/k-distribution/tutorial/2_languages/2_kool/untyped/tests/accounts.kool",
  "license_guess": null,
  "code_sha256": "b6bbda2f09c2ddd7d5039a9d3ef6c668923e24ddf00edc853299c192ade9ca20",
  "added_at": "2026-03-13T06:41:24Z"
}