{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
/// 1. All the functions arguments are always initialized
/// This is always sound, because:
/// 2. and point to initialized  memory(the operand of &raw must be an initialized place in rustlantis).