stddef != stdint