No definitions found for "gethard". Perhaps you meant: