verified code is bug free