An engineer’s hammer is made of