An Executable Semantics for C is Useful | Hacker News Reader