Personally, I'm lazy, so the shorter form would be my first choice. But after a second thought, the second, longer form, simplifies refactoring, so I would definitely prefer the second. It's easier to refactor all occurrences of "user_*" than a mix of "user" and "user_*", being the first case prone to errors.