Symbol: K5_SIMPLEQ_EMPTY