what's the `%%, RequestFun` bit?