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