added basic definitions for trampolines and thunk