intro_patterns.v 5.79 KB