Added header to user_ops.h