alcove_define, alcove_constant -> alcove_encode_*