intro_patterns.v 5.99 KB