trying to provide a simpler example for debugging