Function dump_what4 

pub fn dump_what4<T>(desc: &str, x: T)

Print a what4 expression to stderr. T must have a primitive/base type for its Crucible representation.