PRC file format library