@substitute()
@substitute() evaluates its argument and then performs %-substitution on its result.