This is (should be) the exact equivalent of the Cilia code in Cpp2:

Note
In Cpp2 int and 42 are typically 32 bits wide, not 64 bits.