pub unsafe fn hd_val(val: Value) -> Header