Αποστολή με SMS: The weak call-by-value lambda-calculus is reasonable for both time and space