: a family of linear error-correcting codes