H_abstraction: update entry 465