check in hammer.main