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