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

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

program()
begin
return 0u8

end.