ZMachine-0.0: proptest.inf

Property foo;
Property bar;

Object Obj
  with foo "baz";

[ Main;
    print "Obj.&foo = ", (number) Obj.&foo; new_line;
    print "Obj.&bar = ", (number) Obj.&bar; new_line;
    print "Obj.#foo = ", (number) Obj.#foo; new_line;
    print "Obj.#bar = ", (number) Obj.#bar; new_line;
    print "Obj.foo = ", (number) Obj.foo; new_line;
    print "Obj.bar = ", (number) Obj.bar; new_line;
];