Maybe types for C