intro_patterns.v 7.47 KB