msprotz

// Callbacks.fsti
type ticket_callback = ticket -> unit

assume val ticket_callback_fn: ticket_callback

assume val init: ticket_callback -> unit

// Callbacks.c

void (*ticket_callback)(ticket);

msprotz

var deps = [ 'bar' ];

for (var i = 0; i < 20; ++i) {
  (function (i) {
    deps.push('foo'+i);
    file('foo'+i, [ 'bar' ], { async: true, parallelLimit: 32 }, function () {
      var task = this;
      jake.cpR('bar', 'foo'+i);
      task.complete();
    });