more pragma messages