File array_serializable.hxx