headerC = ["#include <stddef.h>"
          ,"#include <stdio.h>"
          ,"#include <stdalign.h>"
          ,"#include <stdlib.h>"
          ,"#include \"HsFFI.h\""
          ]
headerC = ["#include <stddef.h>"
          ,"#include <stdio.h>"
          ,"#include <stdalign.h>"
          ,"#include <stdlib.h>"
          ,"#include \"HsFFI.h\""
          ]
headerC = ["#include <stddef.h>"
          ,"#include <stdio.h>"
          ,"#include <stdalign.h>"
          ,"#include <stdlib.h>"
          ,"#include \"HsFFI.h\""
          ]