"bit<ha$$" does not exist.