Type checking ifdef variability