generic
type Payload_Type is private;
package Inline16_Gen
with SPARK_Mode => On
is
procedure Gfw_Image_Read(Data : out Payload_Type)
with Inline_Always;
end Inline16_Gen;