(executable
 (public_name sequence)
 (name main)
 (libraries sequence)
 (package sequence))

(library
 (name sequence)
 (public_name sequence)
 (modules instr state cont step trampoline vm))