let is_spare m =
    not (is_bottom m) && not (is_ctrl m || is_addr m || is_data m)