(half-arsed) types and printf from *BSD