I think that's insufficient. Perhaps let's emit an error when the page has not been compiled with that postjs? And make it easier to include it (`emcc --emrun` to include it)?