Fix defintion of TRAMPOLINE_SIZE