Fixed UINT64_C problem and added nal 9