Title: General specification - indexed sequential package