Un body-stub declara la existencia y ubicación del cuerpo de una subunidad que se encuentra definido fuera (separado) de la unidad matriz a la que pertenece.
[overriding_indicator] procedure defining_program_unit [formal_part] is separate; [overriding_indicator] function defining_designator [formal_part] result_profile is separate;
package body defining_identifier is separate; task body defining_identifier is separate; protected body defining_identifier is separate;
procedure Intercambiar (A, B : in out Integer) is separate; function Combinatorio (M, N : Natural) return Natural is separate; package body Listas is separate;