RTL: Local 0 is the procedure