implemented finalize-declarator partially