% This is an empty MetaPost source file. Why do you want it? Because if
% mp says `Please type another input file name:' and if you don't have one
% in mind, you can just say `null' and MetaPost will get out of its loop.