H_abstraction update entry 424