Tramp stamp compilation