verified getrun interface