Code about compiler theories