Make functions using 'withSNat' inlineable