Add body of the callback registration function (Ada)