Check.trillion: def of bend-osdev-word64@0.1.1.0
Import: import bend-osdev-word64@0.1.1.0/check.bend as Check
Lines 4-6 of bend-osdev-word64@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-word64@0.1.1.0/check.bend&start_line=4&end_line=6

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

# 10^12 = 0xE8_D4A51000
def trillion() -> W.W64:
  W.W64.from_parts(232, 3567587328)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_parts