✏️ Editing: os_a32.h