package body base_types is

(  ) return int(  )  ) return intbegin
end base_types;

package base_types is

-- Abstract
type Base is tagged record 
  -- Attributes
  -- public:
    static dummy: int;
  -- private:
    x: int;
end record;

-- Operations
  -- public:
    virtual function foo ( a: int := 0 ) return int = 0;
  -- protected:
    virtual function bar ( x: int := 0,  ) y: int := 0 ) return int = 0;
end base_types;

package body derived_types is

function foo ( a: int := 0 ) return int is
begin
end foo;

function newfoo return int is
begin
end newfoo;

function otherfoo return int is
begin
end otherfoo;

function bar ( x: int := 0,  ) y: int := 0 ) return int is
begin
end bar;

begin
end derived_types;

with pureabstract_types;
use pureabstract_types
with base_types;
use base_types
package derived_types is

type Derived is new Base with record, type Derived is new PureAbstract with record 
  -- Attributes
end record;

-- Operations
  -- public:
    function foo ( a: int := 0 ) return int;
    static function newfoo return int;
    function otherfoo return int;
  -- protected:
    function bar ( x: int := 0,  ) y: int := 0 ) return int;
end derived_types;

package body pureabstract_types is

return intbegin
end pureabstract_types;

package pureabstract_types is

-- Interface
type PureAbstract is tagged record 
  -- Attributes
end record;

-- Operations
  -- public:
    virtual function otherfoo return int = 0;
end pureabstract_types;