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

    SkipChildren