change update() policy for AvlInt