some more informal specs in async.js