| Hey1 | |
| stdio streams had content in them that was not flushed. you should set EXIT_RUNTIME to 1 (see the FAQ), or make sure to emit a newline when you printf etc. | |
| (this may also be due to not including full filesystem support - try building with -s FORCE_FILESYSTEM=1) |