type a = *const bool
type b = *mut bool