{
  FUNCTION_ID:while (true) BLOCK
}