work on array_section translation (code now uncommented)