if known metafunversion : endinput ; fi ; if known mplib : input metafun.mpiv else : input metafun.mpii fi ;