Types of formals and actuals must match except for formals which are constants (default)
Formals which are constant match actuals which are variable, constant or signal
Wait statements are not permitted in a function!
And therefore not in any procedure called by a functions