Source code for the IDA course