Added initial rb.bif produced