Switch + goto is very close to being a native syntax for state machines. It's also very efficient.