pragma inserted