Post / pre are at the same level as arguments