[#13] Spike of HAL format