*RequiresTrace