What makes it really tricky is that it's actually both a regular programming language (with built-in lightweight non-os threads), and subset of it, when you use

What makes it really tricky is that it's actually both a regular programming language (with built-in lightweight non-os threads), and subset of it, when you use the right design patterns, is a hardware description language.