insert(ref V: LIST, N: INT, E: OBJECT) where V is a variable containing a list.
/**/ L := ["a","b","d","e"]; /**/ insert(ref L,3,"c"); /**/ L; ["a", "b", "c", "d", "e"]