pub const BRINGUP_PRELOAD: &str = "## To native loaded () -> Seq of Int\n## To sumw (n: Int) -> Int:\n Let s be 0.\n Let i be 0.\n While i is less than n:\n Set s to s + item (i + 1) of loaded().\n Set i to i + 1.\n Return s.\n";Expand description
A weighted sum over a streamed preload of 40 weights: 41 heap words, more than a heap cache of eight two-word lines holds, so the weights come back from the part.