Optimisation of Generic Programs through Inlining - aes, J (2013)