convert test_builtins.py to .execute()