sequence serialization and fn:serialize for system proc