Support for replacing operations with runtime support functions in Clight. Note the caveats in the comments.