Bullet-proofing Helium’s embedded C code with Erlang QuickCheck | Dark Hacker News