stallman

not defined yet