Minimalistic pure JavaScript function contracts