use shorter record instantiation