changes to splint annotations
function renaming