trait Device {
nat handle;
}
trait Printable {
print();
plex Screen implements Device {
nat width;
plex Monitor implements Device, Printable {
nat height;
print() {