method vspec _sp = (* Do not modify the function contract, where offset variables * are not known *) SkipChildren