-- assume A and B are of the same datatype
B := A
A.some_modification_feature