slut4bwc:primitive