#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int32_t main(){
    
    
    int32_t v0;
    v0 = -42l;
    
    
    int32_t v1;
    v1 = spiral_abi_libc_abs(v0);
    
    
    return v1;
}