updated builtins regtest