disco-0.1.0.0: test/module-basic/b.disco

y : N
y = 5