prereq: ./is_arch_supported
prog: preen_invars