def x k:42; end