A tiny program generating files for METAL