Heavy quark effective theory at one-loop order: an explicit example