#include "program_epilogue_store.inc" ;# restore callee-saved registers - System V AMD64 ABI pop r15 pop r14 pop r13 pop r12 pop rbp pop rbx ;# program finished ret 0
