Source code for Zaxan