Hacker News new | ask | show | jobs
by Dwedit 647 days ago
Not undefined behavior, just won't switch in or out of THUMB mode.