Add Pragma library, Resolved #8