Add specs for HKConstants