intro_patterns.v 4.58 KB