Value propagation: Handwritten signatures of native functions