Migrate b4 specing