This was missed ine754c8e8/e2710e790csince those functions weren't exercised by checkasm. Fixes ticket #6766. (cherry picked from commitf1fd12ef85)
This was missed ine754c8e8/e2710e790csince those functions weren't exercised by checkasm. Fixes ticket #6766. (cherry picked from commitf1fd12ef85)