z88dk/lib/config
