will be passed-by-construction across CapTP. This means that its __optUncall() method will be called on the sending side, the elements of the result triple will be passed, and the corresponding triple as received will be called (here, as “E.call(1, "add", [2])”) to create the object as received.

Example

The first part of the example is a maker for a 2D Vector. The created vectors are Pass By Construction, they should pass the guard :pbc.
The method __optUncall is a miranda method. When the vector is copied to another vat, the method __optUncall is called by the CapTP networking subsystem of E. The result of the method is used to recreate the object in the destination vat.
This code should be positioned in a file in the java classpath at the location "tests.makeVector.emaker"