Function host_header 

pub fn host_header(oracle: &Oracle) -> String

The host program’s table of the oracle’s classes (sw/logos_fp_oracle.h): their counts, the store’s layout, and each class’s members by name.