(set_int): Support INIT_TRACEMASK.