tramp over

tramp over definitions