step7: Streamlined pattern matching with some active patterns.