exploring C FFIs