Implement printf and apply, fix time-apply.