user_visible_state: Improve portability
1 file changed