| type T_horizontal is new float; |

| package vectors_2D is end; |

| with package C is new vectors_2d (<>); |

| with package D is new vectors_2d (<>); |

| with package Helper is new poshelp (<>); |

| with package C is new vectors_2d (<>); |

| with package D is new vectors_2d (<>); |

| with package Helper is new poshelp (C, D); |

| with package C is new vectors_2d (<>); |

| with package D is new vectors_2d (<>); |

| with package Helper is new poshelp (C, D); |

| package My_Spagett is new Spagett (C, D, Helper); |

| package timevars_Pkg is new timevars (Helper); |