Add comments to remind you what the signature of the C functions is
Add comments to remind you what the signature of the C functions is

This is consistent with style elsewhere in Pigosat

wkschwartz/pigosat,wkschwartz/pigosat