module main import a as _ import b fn main() { assert b.take(b.make()) == 1 }