《资治通鉴·晋纪·晋纪二》
咸宁元年春季，正月，戊午朔，晋大赦天下，改年号为咸宁。
世祖武皇帝上之下咸宁元年春，正月，戊午朔，大赦，改元。
In the Spring of the first year of Xianning, in the first month of the year, and on the first day of the wuwu month, Jin declared a general amnesty and changed the year’s name to Xianning.