bash's local builtin