4 ms·

You could rename it to "run.c" for "run dot c file." Bash supports many special characters in command names.