rec declaration finished