intro_patterns.v 7 KB