040000 tree a745ab4a97d0c8eeb115d69c8c4e9d432ff5e46c	disabled
040000 tree 41c9a8d60966bdd2b8f7948ca78d6339a4e19aa5	enabled
040000 tree affd362eef7f7f7d673b976ec5eacc1360e234e7	unavailable_option_primitive
040000 tree c410aa2d0ff7dc692239c0a1bccf27114722d6b1	unstable