use annotation to indicate how to replace arguments of function call