make use of finally