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