header type casting