api: change type of arguments displayed/highlight in hook_print callback from string to integer (in scripts)