uneeded pragma