pub fn firstLeadingBit(_a1: &Instance) -> Result<Instance, Error>
TODO: This built-in is not implemented!