Symbol: ml_empty