package Matchs is pragma Pure (Matchs); type Match_Type is record Match : Boolean := false; Done : Boolean := false; end record; pragma Pack (Match_Type); end Matchs;