1 def test a:num -> b:num [
 2   local-scope
 3   load-ingredients
 4   b <- add a, 1
 5 ]
 6 
 7 def test a:num, b:num -> c:num [
 8   local-scope
 9   load-ingredients
10   c <- add a, b
11 ]
12 
13 def main [
14   local-scope
15   a:num <- test 3  # selects single-ingredient version
16   $print a, 10/newline
17   b:num <- test 3, 4  # selects double-ingredient version
18   $print b, 10/newline
19   c:num <- test 3, 4, 5  # prefers double- to single-ingredient version
20   $print c, 10/newline
21 ]