type Handle = extern var s: []Handle (* @Error Opaque type 'Handle' cannot be used to declare a variable *) begin end.