[interrupt] Coding style.