> What extra info are you looking for?

Essentially, a complete executable example of a simple ASM.js program that involves a foreign function, including processing return values. (I imagine if it's this simple, then return values are handled using the same annotations as ASM.js functions?)

While I understand that specs don't necessarily have to have examples, I believe it would benefit the community to have one in the ASM.js spec.

Thanks for clarifying here, though! I now understand.