Constant tomBoxedFormula 

pub const tomBoxedFormula: OBJECTTYPE;