/*@sub_foreign_series(start)@*/

/*@sub_foreign_series(end)@*/