FrameRecord: no need to cast