%% Automatically generated from DejaGNU files

