Implemented not as bif