extension of a function