add doc about special labels
add doc about init statement