possibly finished with builtin_cmd()