Override operators in userland