type
  Uneven = record
    x #{aligned 3}: Word8 (* @Error Alignment must be a power of two *)
  end
  Twice = record
    y #{aligned 4} #{aligned 8}: Word8 (* @Error Attribute 'aligned' specified more than once *)
  end
  Unknown = record
    z #{packed 1}: Word8 (* @Error Attribute 'packed' not declared *)
  end

proc takes(p #{aligned 8}: Int) (* @Error Attribute 'aligned' is not supported in this position *)
begin
return

program()
begin
return 0u8

end.