lib4253 is a programming library that makes your life in vex easier. jk. most of the code isn't actually tested. all i can guarantee is that the lib compiles and the unit matches