prereq: ./is_arch_supported && ../../tests/os_test linux prog: preen_invars