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