[add] Post: do_nothing() to check code coverage