Hardcode a predefined list of BIFs

Maybe we can add an option `--bifs' to allow
users define more bifs at runtime, if this
predefined list is not sufficient.