Wed, 08 Jan 2014 12:44:18 +0100convert named parameters to numbered v_0
František Kučera <franta-hg@frantovo.cz> [Wed, 08 Jan 2014 12:44:18 +0100] rev 143
convert named parameters to numbered