Programming in METAFONT