Automatic pointers, some semantics