dot operation after record struct and instantiation