Constant F_TERMINAL_LOCATION 

pub const F_TERMINAL_LOCATION: Field;