Added auxlib.cpp