5.1.50 No_Recursion

[RM H.4] A program execution is erroneous if a subprogram is invoked as part of its execution.