Add varargs so that proper ABI is generated by the backend