Fritz Learns to Catch Compilation #1