Introducing mandatory TRAMPOLINE parameter passed to leprechaun