Modularity for debugging