gnb/novaprova — pull request #4 by da4089 (2014-09-01 00:35:30+00:00)
Title: Some initial hacks to get NP to compile on Darwin.

Don't actually merge this to master though -- I think it'll break Linux in its current form (iassert.c, at least).