6.3 Generating Lambada stubs

Details of how to do this is covered by the Lambada user's manual.