Alternatively, you might have copied and pasted because it's so short and common that there isn't really another way to do it.