Added picosat source and a dummy main