semantic: Pass arguments to interface functions.