Run trace implemented, not tested