/lively4-foobar/src/external/lively4-kernel/lively