DFDL4S (DFDL for Space Library)